距離空間
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
どの2点をとっても、その距離が対称で、三角不等式を満たす、負でない実数が存在するような点の集合