- 非負性: $\mathrm{dist}(a, b) \geq 0$, 等号成立は$a = b$のとき - 対称性: $\mathrm{dist}(a, b) = \mathrm{dist}(b, a)$ - 三角不等式: $\mathrm{dist}(a, b) + \mathrm{dist}(b, c) = \mathrm{dist}(a, c)$