 The Hausdorff maximal principle is one of many statements equivalent to the axiom of choice over ZF (Zermelo–Fraenkel set theory without the axiom of choice).The principle is also called the Hausdorff maximality theorem or the Kuratowski lemma (Kelley 1955