\begin{definition}[Definition:Euclidean Space/Rational]
Let $\Q^n$ be an $n$-dimensional vector space of rational numbers.
Let the Euclidean Metric $d$ be applied to $\Q^n$.
Then $\struct {\Q^n, d}$ is a Euclidean $n$-space.
\end{definition}