Zorn's Lemma

If $S$ is any nonempty Partially Ordered Set in which every Chain has an upper bound, then $S$ has a maximal element. This statement is equivalent to the Axiom of Choice.

See also Axiom of Choice