三省堂 大辞林

きょり-くうかん 3 【距離空間】

〔metric space〕〔数〕 集合 M の任意の要素 x、y に対して、次の(1)～(3)をみたす実数 d（x, y）が対応しているとき、d を M 上の距離関数といい、M を距離空間、M の要素をこの距離空間の点という。(1) d（x, x）＝0; x≠y ならば d（x, y）＞0(2) d（x, y）＝d（y, x）(3) d（x, y）＋d（y, z）≧d（x, z）