ultrametric (106B)
1 # Ultrametric 2 3 [metric] satisfying [triangle_inequality_strong] 4 5 Up: [distance] 6 7 See also: [metric_space]