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

theorem Th22:
  (Cl (Cl (Cl KurExSet`)`)`)` = ]. 4,+infty .[ by Th21,TOPMETR:17,XXREAL_1:224
