In dictionaries:
principal ultrafilter
(mathematics) An ultrafilter such that every set belonging to it is the superset of some fixed singleton set.
fixed ultrafilter
free ultrafilter
(mathematical analysis, especially nonstandard analysis) An ultrafilter which contains all cofinite subsets of the set which is being "filtered" by it.
more...