Free filter
= Free filter
A free <filter on a set> $I$ has empty intersection of all its members. This is equivalent to containing every cofinite subset of $I$: for each $i$ some filter member omits $i$, so upward closure gives $I\setminus\{i\}$, and finite intersections give every cofinite set. A proper free filter on an infinite set contains no finite set.