 Then
is partially ordered by set inclusion formula_4, therefore it contains a maximal totally ordered subset "P".Then the set formula_5 satisfies the desired properties.The proof that the Hausdorff maximal principle is equivalent to Zorn's lemma is very similar to this proof.