Rational Number Space is Topological Space

Theorem
The set $\Q$ of rational numbers under the Euclidean topology $\tau$ forms a topology.