Hausdorff's Maximal Principle/Formulation 1

Theorem
Let $\struct {\PP, \preceq}$ be a non-empty partially ordered set.

Then there exists a maximal chain in $\PP$.