An ultrametric satisfies d(x,z) ≤ max(d(x,y), d(y,z)) — a stronger triangle inequality. Every ultrametric space is represented by a rooted tree where distance = height of lowest common ancestor. p-adic numbers are the canonical example.