Hausdorff's Maximal Principle

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

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