
theorem Th53:
  for T being non empty TopSpace, S being non empty SubSpace of T
  holds incl(S,T) is continuous
proof
  let T be non empty TopSpace, S be non empty SubSpace of T;
  incl(S,T) = id S by BORSUK_1:1,YELLOW_9:def 1;
  hence thesis by PRE_TOPC:26;
end;
