Definition:Complete Distributive Lattice

From ProofWiki
Jump to navigation Jump to search

Definition

Let $\struct {S, \vee, \wedge, \preceq}$ 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.


Sources