Separable Discrete Space is Countable

Theorem
Let $T = \left({S, \tau}\right)$ be a discrete topological space.

Let $T$ be separable.

Then $S$ is countable.