Complete Lattice is Bounded

Theorem
Let $L = \left({S, \vee, \wedge, \preceq}\right)$ be a complete lattice.

Then
 * $L$ is bounded

Proof
By definition of complete lattice:
 * $\varnothing$ admits a supremum and an infimum.

By Infimum of Empty Set is Greatest Element:
 * $\forall x \in S: x \preceq \inf \varnothing$

Thus by definition:
 * $L$ is bounded above.

By Supremum of Empty Set is Smallest Element:
 * $\forall x \in S: \sup \varnothing \preceq x$

Thus by definition:
 * $L$ is bounded below.

Hence $L$ is bounded.