Zorn's lemma
ツォルンの補題を使って、すべての体は代数的閉包をもつことと、体 "K" の代数的閉包は "K" のすべての元を固定するような同型の違いを除いてただ1つであることを証明できる。この本質的な一意性のため、"an" algebraic closure of "K" よりむしろ "the" algebraic closure of "K" と呼ばれることが多い。