d(x, y) ≤ máx {d(x, z), d(z, y).