reserve T for non empty TopSpace;
reserve A for Subset of T;

theorem
  card Kurat14Set A <= 14
proof
  set X = { A, Cl A, (Cl A)`, Cl (Cl A)`, (Cl (Cl A)`)`, Cl (Cl (Cl A)`)`, (Cl
(Cl (Cl A)`)`)` }, Y = { A`, Cl A`, (Cl A`)`, Cl (Cl A`)`, (Cl (Cl A`)`)`, Cl (
  Cl (Cl A`)`)`, (Cl (Cl (Cl A`)`)`)` };
  card X <= 7 & card Y <= 7 by CARD_2:55;
  then card (X \/ Y) <= card X + card Y & card X + card Y <= 7 + 7 by CARD_2:43
,XREAL_1:7;
  hence thesis by XXREAL_0:2;
end;
