Category:Separable Discrete Space is Countable