Definition:Uncountable Discrete Topology