 Metric space

A metric space is a set equipped with a nonnegative symmetric distance satisfying definiteness and the triangle inequality.

Canonical example: Euclidean space.