Definition:Meet-Continuous Lattice

Definition
Let $\left({S, \preceq}\right)$ be an ordered set.

Then $\left({S, \preceq}\right)$ is meet-continuous
 * $\left({S, \preceq}\right)$ is up-complete and
 * for every an element $x \in S$ and a directed subset $D$ of $S$: $x \wedge \sup D = \sup \left\{ {x \wedge d: d \in D}\right\}$