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

theorem Th13:
  (Cl (Cl KurExSet)`)` = ]. 2,+infty .[ by Th12,TOPMETR:17,XXREAL_1:224,288;
