theorem Th45: :: WAYBEL21:45

for S, T being complete Lawson TopLattice
for f being meet-preserving Function of S,T holds
( f is continuous iff ( f is directed-sups-preserving & ( for X being non empty Subset of S holds f preserves_inf_of X ) ) )