theorem Th61:
  X c= Y implies t(.)X c= t(.)Y
proof
  assume
A1: X c= Y;
  let x be object;
  assume x in t(.)X;
  then ex a being Point of TOP-REAL n st x = t*a & a in X;
  hence thesis by A1;
end;
