Ultrafilter Lemma

Theorem
Let $S$ be a set.

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