[page 167] the concept of maximality, though not the name, emerged as a distinct notion only with Hausdorff's researches of 1907 on ordered sets of real functions. In particular, he applied the Well-Ordering Theorem to establish
the existence of a pantachie, i.e., a maximal set of real-valued sequences
ordered according to which sequence was eventually greater.
When Hausdorff gave a second proof for this result two years later, he
based it on a new set-theoretic theorem which he deduced from the Well-Ordering Theorem.
Hausdorff's theorem did not receive the attention that it deserved.
When he returned to it in his textbook on set theory , he phrased it
in two variant forms, each of which was later termed Hausdorff's Maximal
Principle. However, it is important to realize that, despite the name later
given to them, he did not propose either of these variants as an axiom or a
(3.4.2) Every partially ordered set $M$ has an ordered subset $A$ that is
greatest [$\subseteq$-maximal] among ordered subsets of $M$.
(3.4.3) Every partially ordered set $M$ has an ordered subset $A$ that is
greatest [$\subseteq$-maximal] among ordered subsets and also includes $B$,
a given ordered subset of $M$. [1914, pages 140-141]
Hausdorff, who deduced both variants from the Axiom of Choice, made no
attempt to show their equivalence to it. Nor did he apply them to obtain
further results. Like their predecessor, these two theorems attracted
little attention from Hausdorff's contemporaries. As a consequence, maximal
principles were rediscovered independently several times, the most important
instances occurring in articles by Kazimierz Kuratowski  and Max
[page 220] When the second edition of Hausdorff's Grundzuge appeared in 1927,
he considered such formulations once again. There he introduced for the first
time the term "maximal set" (Maximalmenge) to describe what is here called
an $\subseteq$-maximal element, i.e., a member $B$ of a family of sets such that $B$ is not properly included in any member of the family. On that occasion he stated a maximal principle, and its corresponding minimal principle, by means of transfinite ordinals [...]. Thus his maximal and minimal principles took the following form:
(4.4.1) If $A$ is a non-empty family of sets and is extendable above by limits, then $A$ contains a Maximalmenge [$\subseteq$-maximal element] $B$.
(4.4.2) If $A$ is a non-empty family of sets and is extendable below by limits, then $A$ contains a Minimalmenge [$\subseteq$-minimal element] $B$. [1927, page 174]
Although the young Warsaw mathematician Kazimierz Kuratowski, had
established such a minimal principle five years earlier, in 1927 Hausdorff
remained unaware of Kuratowski's principle. Finally, Hausdorff mentioned
that (4.4.1) could be used to obtain a proposition deduced earlier in his
book from the Well-Ordering Theorem: In every metric space $X$ and for
every positive real $r$, there is an $\subseteq$-maximal subset $Y$ of $X$ such that the distance between any two points in $Y$ is at least $r$. In all probability he did not suspect that (4.4.1) or (4.4.2) was equivalent to the Axiom [of Choice].
Hausdorff believed that these two theorems could be demonstrated only by
means of transfinite ordinals [1927, 173], [...] however, Hausdorff was mistaken, since Kuratowski had demonstrated one such principle, by using the Axiom but no ordinals, in the style of Zermelo's second proof of the Well-Ordering Theorem.
[page 223] topologist R.L. Moore, [in 1932] published a volume on the foundations of point-set topology, and based his treatment on postulates containing the undefined terms "point" and "region." At the beginning of his book he discussed the Axiom of Choice, stated as Zermelo had done in 1908, which Moore included "among the fundamental propositions of the logic of classes". Much later in his book, he established a theorem which was in effect a minimal principle [1932,84]:
(4.4.5) Suppose $G$ is a [non-empty] family of sets. If, for every subcollection $H$ of $G$ ordered by inclusion, there is some $A$ in $G$ such that $A \subseteq B$ for every $B$ in $H$, then some member $M$ of $G$ has no proper subset in $G$ [i.e., $M$ is $\subseteq$-minimal].
However, he did not go on to obtain any consequences of (4.4.5), which he
had deduced from the Well-Ordering Theorem.
Finally, Zorn's Lemma, the maximal principle which has become the most
widely known and about whose origins we are the best informed, was published in 1935:
(4.4.6) If $A$ is a family of sets such that the union of every chain $B \subseteq AB$ is in $A$, then there is a member $C$ of $A$ which is not a proper subset of any member of $A$ [i.e., $C$ is $\subseteq$-maximal].
In contrast to the mathematicians discussed thus far, Max Zorn did not
regard (4.4.6) as a theorem but as an axiom. He named it the "maximum principle" and earnestly hoped that it would supersede the Well-Ordering
Theorem in abstract algebra. [...] Evidently Zorn was not acquainted with previous maximal principles. Many years later he acknowledged having read [Kuratowski 1922] but claimed not to have noticed any maximal principle there. Nevertheless, we may wonder whether Kuratowski influenced Zorn (as Hausdorff might well have influenced Bochner) in a subliminal way.
What were the beginnings of Zorn's principle? According to his later
reminiscences, he first formulated it at Hamburg in 1933, where Claude
Chevalley and Emil Artin then took it up as well. Indeed, when Zorn applied
it to obtain representatives from certain equivalence classes on a group,
Artin recognized that Zorn's principle yields the Axiom of Choice. By
late in 1934, Zorn's principle had found users in the United States who dubbed
it Zorn's Lemma. In October, when Zorn lectured on his principle to the
American Mathematical Society in New York, Solomon Lefschetz recommmended that Zorn publish his result. The paper appeared the following year.