Definition:Complete Lattice

Let $$\left({S; \le}\right)$$ be a lattice.

Then $$\left({S; \le}\right)$$ is a complete lattice if:

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