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

theorem Th62:
  KurExSet <> KurExSet`
by XBOOLE_1:66,XBOOLE_1:79;
