Kuratowski's Lemma/Formulation 1

Theorem
Let $\struct {S, \preceq}, S \ne \O$ be a non-empty ordered set.

Then every chain in $S$ is the subset of some maximal chain.