Definition:Complete Distributive Lattice

Definition
Let $\left({S, \vee, \wedge, \preceq}\right)$ be a lattice.

Then $S$ is a complete distributive lattice


 * $(1): \quad S$ is a complete lattice
 * $(2): \quad S$ is a distributive lattice.