Space is Separable iff Density not greater than Aleph Zero

Theorem
Let $T$ be a topological space.

Then:
 * $T$ is separable $d \left({T}\right) \leq \aleph_0$

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

Proof

 * $T$ is separable


 * there exists a countable subset of $T$ which is dense by definition of separable space


 * there exists a subset $A$ of $T$ such that $A$ is dense and exists an injection $A \to \N$ by definition of countable set


 * there exists a subset $A$ of $T$ such that $A$ is dense and $\left\vert{A}\right\vert \leq \left\vert{\N}\right\vert$ by Injection iff Cardinal Inequality


 * there exists a subset $A$ of $T$ such that $A$ is dense and $\left\vert{A}\right\vert \leq \aleph_0$ by Aleph Zero equals Cardinality of Naturals


 * $d \left({T}\right) \leq \aleph_0$ by definition of density

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