Irrational Number Space is Separable

Theorem
Let $\left({\R \setminus \Q, \tau_d}\right)$ be the irrational number space under the Euclidean topology $\tau_d$.

Then $\left({\R \setminus \Q, \tau_d}\right)$ is separable.

Proof
Let $S$ be the set defined as:
 * $S = \left\{{\pi + q: q \in \Q}\right\}$

From Pi is Irrational:
 * $\pi \in \R \setminus \Q$

It follows from Rational Addition is Closed that:
 * $\forall q \in \Q: \pi + q \in \R \setminus \Q$

and so:
 * $S \subseteq \R \setminus \Q$

From Rationals plus Irrational are Everywhere Dense in Irrationals, it follows that $S$ is everywhere dense in $\R \setminus \Q$.