Rational Number Space is Topological Space

Theorem
Let $\left({\Q, \tau_d}\right)$ be the rational number space formed by the rational numbers $\Q$ under the usual (Euclidean) topology $\tau_d$.

Then $\tau_d$ forms a topology.