abstract:In the mathematical field of set theory, an ultrafilter on a set X is a collection of subsets of X that is a filter, that cannot be enlarged (as a filter). If A is a subset of X, then either A or is an element of the ultrafilter (here is the relative complement of A in X; that is, the set of all elements of X that are not in A).