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

theorem Th52:
  Int KurExSet, Int Cl KurExSet, Int Cl Int KurExSet, Cl KurExSet,
  Cl Int KurExSet, Cl Int Cl KurExSet are_mutually_distinct by Th46,Th47,Th51,
