# Cofinite topology (finite complement topology)

#### definition

Let X be a non-empty set and τ be the collection of φ and all subsets of X whose complements are finite. Then τ is called cofinite topology on X (also called finite complement topology) and the pair (X, τ) is called cofinite topological space.

τcof = {φ ⋀ U⊂X | Uc is finite}

OR

τcof= {U⊂X | Uc is finite or X}

#### Note

If set X is finite then the co-finite topology on set X is the discrete topology.

### Show that τcof = {φ⋀ U⊂X | Uc is finite}

#### Proof

This shows that τ is a topology on set X. this is called cofinite topology and the pair (X, τcof) is called the cofinite topological space.