Definition:Complete Distributive Lattice

From ProofWiki
Jump to navigation Jump to search

Definition

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

Then $S$ is a complete distributive lattice if and only if

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