Wiktionary
free ultrafilter
n. (context analysis esp. nonstandard analysis English) An ultrafilter which contains all cofinite subsets of the set which is being "filtered" by it.