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

theorem Th18:
  (Cl KurExSet`)` = ]. 4, 5 .[ \/ ]. 5,+infty .[ by Th17,BORSUK_5:68;
