Category:Hausdorff's Maximal Principle

From ProofWiki
Jump to navigation Jump to search

This category contains pages concerning Hausdorff's Maximal Principle:


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

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