# Definition:Complete Lattice

Let $\left({S, \preceq}\right)$ be a lattice.
Then $\left({S, \preceq}\right)$ is a complete lattice if and only if:
$\forall T \subseteq S: T$ admits both a supremum and an infimum.