M"内的"x"，"y"和"z"，都有：第四个条件可加强为当"d"("x", "y")和"d"("y", "z")不相等时，"d"("x", "z") = max{"d"("x", "y"), "d"("y", "z")}，原因如下：首先，可以不失一般性地假定"d"("x", "y") < "d"("y", "z")，因此"d"("x", "z") ≤ max{"d"("x", "y"), "d"("y", "z")}可变为"d"("x", "z") ≤ "d"("y", "z")，但另一方面，"d"