free ultrafilter

Noun

 * 1)  An ultrafilter which contains all cofinite subsets of the set which is being "filtered" by it.