
theorem
  for S, T being up-complete Scott non empty
  reflexive transitive antisymmetric TopSpace-like TopRelStr,
  f be Function of S, T holds
  f is directed-sups-preserving implies f is continuous by Lm4;
