Definition:Complete Lattice/Definition 1

From ProofWiki
Jump to navigation Jump to search

Definition

Let $\struct {S, \preceq}$ be a lattice.


Then $\struct {S, \preceq}$ is a complete lattice if and only if:

$\forall T \subseteq S: T$ admits both a supremum and an infimum.


Also see


Sources