Definition:Complete Lattice

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

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


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