\begin{definition}[Definition:Euclidean Space/Real]
Let $\R^n$ be an $n$-dimensional real vector space.
Let the Euclidean metric $d$ be applied to $\R^n$.
Then $\struct {\R^n, d}$ is a '''Euclidean $n$-space'''.
\end{definition}