Cofinite filters and directed set filters
We assume that is an infinite set. Cofinite filters The cofinite filter over is the set of subsets of such that is finite. Since is infinite, is not in . It is trivial to check that any superset in of an element of is in , and that the intersection of any two elements of…