An inequality of by a Function of two variables:

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

It is a necessary condition for a Metric