
theorem Th39:
  for T being injective T_0-TopSpace holds T is monotone-convergence
proof
  let T be injective T_0-TopSpace;
  set S = the Scott TopAugmentation of Omega T;
  the TopStruct of S = the TopStruct of T by Th37;
  hence thesis by Th27;
end;
