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

theorem Th15:
  (Cl (Cl (Cl KurExSet)`)`)` = ]. -infty, 2 .[ by Th14,TOPMETR:17,XXREAL_1:224
