theorem :: WAYBEL21:47

for S, T being complete Lawson TopLattice
for f being SemilatticeHomomorphism of S,T holds
( f is continuous iff f is lim_infs-preserving )