Cofinite topology

Summary