theorem :: WAYBEL11:40

for T being complete Scott TopLattice holds
( T is continuous iff Convergence T = Scott-Convergence T )