距離の公理

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