Ultrafilter Lemma

Theorem
Let $S$ be a set.

Every filter on $S$ is contained in an ultrafilter on $S$.

Also see

 * Boolean Prime Ideal Theorem
 * Stone's Representation Theorem for Boolean Algebras