Definition:Finite Complement Topology/Uncountable

From ProofWiki
Jump to navigation Jump to search


Let $S$ be an infinite set.

Let $\tau$ be the finite complement topology on $S$.

Let $S$ be uncountable.

Then $\tau$ is a finite complement topology on an uncountable space, and $\struct {S, \tau}$ is a uncountable finite complement space.

Also known as

The term cofinite is sometimes seen in place of finite complement.

Some sources are more explicit about the nature of this topology, and call it the topology of finite complements.

Also see

  • Results about finite complement topologies can be found here.