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

theorem Th21:
  [#] T is open_condensed
proof
  Cl [#] T = [#] T by TOPS_1:2;
  then Int Cl [#] T = [#] T by TOPS_1:15;
  hence thesis by TOPS_1:def 8;
end;
