Cofinite topology (source code)

= Cofinite topology
{wiki}

The cofinite topology on a set $X$ consists of the empty set together with every subset whose complement is finite. On an infinite set, any two nonempty open sets intersect.