Discrete Space is Separable iff Countable

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

Then:
 * $T$ is separable $S$ is countable.

Sufficient Condition
Immediate from Separable Discrete Space is Countable.

Necessary Condition
Immediate from Countable Space is Separable.