metric_space has definitions from the field of mathematics
1
[ noun ] (mathematics) 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
*