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