\(x\) と \(y\) の実数値関数を \(d(x,y)\) とする.これが距離の公理という次の条件を満たすとき距離 (metric)という.
\(d(x,y)\) を距離関数という.
-- しましま