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

theorem Th47:
  Cl KurExSet, Cl Int KurExSet, Cl Int Cl KurExSet are_mutually_distinct
by Th38,Th29,Th31;
