Separable Discrete Space is Countable/Proof 1

Proof
Let $T$ be separable.

By Space is Separable iff Density not greater than Aleph Zero:
 * $ d \left({T}\right) \leq \aleph_0$

where:
 * $d \left({T}\right)$ denotes the density of $T$
 * $\aleph$ denotes the aleph mapping.

By definition of density:
 * $\exists A \subseteq S: A$ is dense $\land d \left({T}\right) = \left\vert{A}\right\vert$

where $ \left\vert{A}\right\vert$ denotes the cardinality of $A$.

By definition of dense set:
 * $A^- = S$

where $A^-$ denotes the closure of $A$.

By Set in Discrete Topology is Clopen:
 * $A$ is closed

Then by Closed Set equals its Topological Closure:
 * $A^- = A$

Thus by Countable iff Cardinality not greater than Aleph Zero:
 * $S$ is countable