Dense countable family of cofinite infinite subsets

ID: dense-countable-family-of-cofinite-infinite-subsets

In the ordinary topology on infinite subsets, the family of cofinite sets is a countable set, a dense and a meagre set. Countability follows by indexing its members by their finite complements. Each singleton is closed with empty interior, while every basic cylinder with finite initial segment contains . Consequently is not a nowhere dense set. This example uses the ordinary cylinder topology, rather than the Ramsey cone topology.

New to topics? Read the docs here!