. . . . . . . . . . . . . . . . . . . . . . . . . "Every proper filter on a set is contained in some ultrafilter on"@en . . . . . . "In the mathematical field of set theory, an ultrafilter is a maximal proper filter: it is a filter on a given non-empty set which is a certain type of non-empty family of subsets of that is not equal to the power set of (such filters are called proper) and that is also \"maximal\" in that there does not exist any other proper filter on that contains it as a proper subset. Said differently, a proper filter is called an ultrafilter if there exists exactly one proper filter that contains it as a subset, that proper filter (necessarily) being itself. More formally, an ultrafilter on is a proper filter that is also a maximal filter on with respect to set inclusion, meaning that there does not exist any proper filter on that contains as a proper subset. Ultrafilters on sets are an important special instance of ultrafilters on partially ordered sets, where the partially ordered set consists of the power set and the partial order is subset inclusion Ultrafilters have many applications in set theory, model theory, and topology."@en . . . . . . . . . . . . . . . "Ultrafilter"@en . . . . . "Proposition"@en . . . . . . . . . . . . . . . . . . "A function m can certainly be defined in that way. However, this is pointless unless such an m can be shown to have some useful properties . They should be stated here."@en . . . . . . "Ultrafilter (set theory)"@en . . "In the mathematical field of set theory, an ultrafilter is a maximal proper filter: it is a filter on a given non-empty set which is a certain type of non-empty family of subsets of that is not equal to the power set of (such filters are called proper) and that is also \"maximal\" in that there does not exist any other proper filter on that contains it as a proper subset. Said differently, a proper filter is called an ultrafilter if there exists exactly one proper filter that contains it as a subset, that proper filter (necessarily) being itself."@en . . . "July 2016"@en . . . . . . . . . . . . "67416519"^^ . . . . . . . . "ultrafilter"@en . . . . . . . . . . . . . . . . "1108342317"^^ . "47379"^^ . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . "If is an ultrafilter on then the following are equivalent:\n\n is fixed, or equivalently, not free.\n is principal.\nSome element of is a finite set.\nSome element of is a singleton set.\n is principal at some point of which means for some \n does contain the Fr\u00E9chet filter on as a subset.\n is sequential."@en . . . "The /principle/theorem"@en . . . . . . . . . .