Separable Discrete Space is Countable

Theorem
Let $T = \struct {S, \tau}$ be a discrete topological space.

Let $T$ be separable.

Then $S$ is countable.