距離空間（メトリック空間）

距離空間（もしくはメトリック空間）とは、距離関数を持った集合のことです。

つまり、距離空間では、集合に加えて、その集合の任意の要素間の距離の情報も持っています。