metric_space.n.01

'metric_space.n.01'

[metric_space.n.01] as in: a set of points such that for every pair of points there is a nonnegative real number called their distance that is symmetric and satisfies the triangle inequality