Ultrametric (source code)

= Ultrametric
{title2=$d(x,z)\leq\max\{d(x,y),d(y,z)\}$}
{wiki}

An ultrametric is a <metric> satisfying the strong triangle inequality
$$
d(x,z)\leq\max\{d(x,y),d(y,z)\}.
$$