Zorn's Lemma

Theorem
Let $$X$$ be a partially ordered set such that every 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.