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

theorem Th19:
  [#] T is closed_condensed
proof
  Int [#] T = [#] T by TOPS_1:15;
  then Cl Int [#] T = [#] T by TOPS_1:2;
  hence thesis by TOPS_1:def 7;
end;
