Definition:Complete Lattice/Definition 1

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

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


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

Also see

 * Equivalence of Definitions of Complete Lattice