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

theorem Th3:
  for A being Subset of T holds Cl Int Cl A c= Cl A
proof
  let A be Subset of T;
  Cl Int Cl A c= Cl Cl A by PRE_TOPC:19,TOPS_1:16;
  hence thesis;
end;
