Definition:Co-Countable Topology