Definition:Complete Lattice

Definition

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

Then $\left({S, \preceq}\right)$ is a complete lattice iff:

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

Sources

• Seth Warner: Modern Algebra (1965)... (previous)... (next): $\S 14$