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

theorem
  Cl Int Cl KurExSet <> Int Cl Int KurExSet
by Th27,XXREAL_1:236,Th25,XXREAL_1:235;
