theorem
  S is closed & T c= S implies Cl T c= S
proof
  assume that
A1: S is closed and
A2: T c= S;
  Cl S = S by A1,PRE_TOPC:22;
  hence thesis by A2,PRE_TOPC:19;
end;
