36 CHAPTER 2. SET THEORY

Theorem 2.4.2 (Hausdorff Maximal Principle) Let F be a nonempty partially orderedset. Then there exists a maximal chain.