\begin{definition}[Definition:Euclidean Space/Euclidean Topology/Rational]
Let $\Q^n$ be an $n$-dimensional vector space of rational numbers.
Let $M = \struct {\Q^n, d}$ be a rational Euclidean $n$-space.
The topology induced by the Euclidean metric $d$ is called the '''Euclidean topology'''.
\end{definition}