Euclidean space (source code)

= Euclidean space
{c}
{tag=Metric space}
{wiki}

= Euclidean
{synonym}

<\R^n> with extra structure added to make it into a <metric space>.