Definition:Infinite Discrete Topology