Ultrametric space (source code)

= Ultrametric space
{wiki}

An ultrametric space is a metric space satisfying the ultrametric inequality. Its open balls are clopen, and any two balls are either disjoint or one contains the other.