Cofinite filter (source code)

= Cofinite filter
{wiki}

The cofinite filter on an infinite set consists of all subsets whose complements are finite.