Rational Number Space is Topological Space

Theorem
The rational number space $\left({\Q, \tau_d}\right)$ of rational numbers under the Euclidean topology $\tau_d$ forms a topology.