theorem Th46: :: WAYBEL21:46

for S, T being complete Lawson TopLattice
for f being SemilatticeHomomorphism of S,T holds
( f is continuous iff ( f is infs-preserving & f is directed-sups-preserving ) )