Every proper filter on a set is contained in an ultrafilter. Order its proper filter extensions by inclusion, use Zorn lemma to obtain a maximal extension, and observe that maximality forces it to contain exactly one of every set and its complement.
Articles by others on the same topic
There are currently no matching articles.