Zorn's lemma

If every chain in a nonempty, partially ordered set $E$ has an upper bound, then $E$ contains a maximal element.

• We take this as an axiom of set theory and it can be used to prove the Axiom of Choice
• We can also show that every vector space has a Hamel basis