\begin{definition}[Definition:Complete Lattice/Definition 1]
Let $\struct {S, \preceq}$ be a lattice.
Then $\struct {S, \preceq}$ is a '''complete lattice''' {{iff}}:
:$\forall T \subseteq S: T$ admits both a supremum and an infimum.
\end{definition}