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.

• 区间中的每一对点之间的距离都有一个非负实数与之对应且满足三角不等式。