 Free filter

ID: free-filter

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 ∖ {i}

, and finite intersections give every cofinite set. A proper free filter on an infinite set contains no finite set.

 New to topics? Read the docs here!