Ultrafilter

In the mathematical field of set theory, an ultrafilter is a maximal filter, that is, a filter that cannot be enlarged. Filters and ultrafilters are special subsets of partially ordered sets. Ultrafilters can also be defined on Boolean algebras and sets: