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

theorem Th20:
  (Cl (Cl KurExSet`)`)` = ]. -infty, 4 .[ by Th19,TOPMETR:17,XXREAL_1:224,294;
