definition via Euclidean metric
Extension for $\overline{\mathbb R}^p$ (Extended real number line) - not sure if it deserves its own entry.
Wikipedia: Topological space
Topological space
Real number