Cofinite Topology#
Theorem: Cofinite Topology
Let \(X\) be a set.
The collection containing the empty set and all subsets of \(X\) with a finite complement is a topology on \(X\).
Definition: Cofinite Topology
This collection is known as the cofinite topology or finite complement topology on \(X\).
Proof
TODO