The cocountable topology or countable complement topology on any set X consists of the empty set and all cocountable subsets of X, that is all sets whose complement in X is countable.
Every set X with the cocountable topology is Lindelöf, since every nonempty open set omits only countably many points of X.
However, in the cocountable topology all convergent sequences are eventually constant, so limits are unique.
Since compact sets in X are finite subsets, all compact subsets are closed, another condition usually related to the Hausdorff separation axiom.
The cocountable topology on an uncountable set is hyperconnected, thus connected, locally connected and pseudocompact, but neither weakly countably compact nor countably metacompact, hence not compact.