Infima Inheriting Ordered Subset of Complete Lattice is Complete Lattice

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

Let $S = \left({T, \precsim}\right)$ be an infima inheriting ordered subset of $L$.

Then $S$ is a complete lattice.

Proof
Let $A$ be subset of $T$.

By definition of complete lattice:
 * $A$ admits an infimum in $L$.

Thus by definition of infima inheriting:
 * $A$ admits an infimum in $S$.

Hence by dual of Complete iff Admits All Suprema:
 * $S$ is a complete lattice.