ultrametric (80B)
1 # Ultrametric 2 3 [metric] satisfying [triangle_inequality_strong] 4 5 Up: [distance]