Definition:Euclidean Space/Euclidean Topology/Rational

Definition
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.

Also known as
The Euclidean topology is sometimes called the usual topology.