Zorn's Lemma

Theorem
Let $X \neq \emptyset$ be a partially ordered set such that every non-empty chain has an upper bound in $X$.

Then $X$ has at least one maximal element.

Proof
It can be shown that this follows from the Axiom of Choice and is in fact equivalent to it.