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

theorem Th46:
  Int KurExSet, Int Cl KurExSet, Int Cl Int KurExSet are_mutually_distinct
by Th36,Th43,Th45;
