reserve T for 1-sorted;
reserve T for TopSpace;

theorem Th14:
  {}T is condensed
proof
  Int {} T c= {} T;
  then
A1: Int Cl {} T c= {} T by PRE_TOPC:22;
  {} T c= Cl Int {} T;
  hence thesis by A1,TOPS_1:def 6;
end;
