Noun
free ultrafilter (plural free ultrafilters) (mathematical analysis, especially nonstandard analysis) An ultrafilter which contains all cofinite subsets of the set which is being "filtered" by it.