theorem Th53: :: WAYBEL_2:53

for L being up-complete Semilattice holds
( L is meet-continuous iff inf_op L is directed-sups-preserving )