三角不等式

$ d(x, y) + d(y, z) \ge d(x, z)

xとzの間の距離は、「xとyの距離とyとzの距離の和」以下である、という条件

「xからzに直接いくほうが、yに寄り道してからいくより距離が短い」ということ

物理的な距離に関しては成立する