countable complement topology
Let be an infinite set![]()
. We define the countable complement topology on by declaring the empty set
![]()
to be open, and a non-empty subset to be open if is countable
![]()
.
If is countable, then the countable complement topology is just the discrete topology, as the complement of any set is countable and thus open.
Though defined similarly to the finite complement topology![]()
, the countable complement topology lacks many of the strong compactness properties of the finite complement topology. For example, the countable complement topology on an uncountable set gives an example of a topological space that is not weakly countably compact (but is pseudocompact).