Ultrametric inequality (source code)

= Ultrametric inequality
{wiki=Ultrametric_space}

The ultrametric inequality is $d(x,z)\leq\max(d(x,y),d(y,z))$. For unequal $|x|$ and $|y|$, it implies $|x+y|=\max(|x|,|y|)$.