Zorn's Lemma/Formulation 1

Theorem
Let $\struct {S, \preceq}, S \ne \O$ be a non-empty ordered set such that every non-empty chain in $S$ has an upper bound in $S$.

Then $S$ has at least one maximal element.