Definition:Countable Discrete Topology