Metric space (source code)

= Metric space
{wiki}

Canonical example: <Euclidean space>.