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

theorem Th11:
  (Cl KurExSet)` = ]. -infty, 1 .[ \/ ]. 1, 2 .[ by Th10,BORSUK_5:63;
