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

theorem Th54:
  KurExSet, Int KurExSet, Int Cl KurExSet, Int Cl Int KurExSet, Cl
  KurExSet, Cl Int KurExSet, Cl Int Cl KurExSet are_mutually_distinct
by Th52;
