定義:超距離
最後の条件式\[d(x,y) \leq max\{d(x,z) , d(y,z)\}\]は強三角不等式,もしくは,超距離不等式とよばれる.超距離不等式は三角不等式よりも強いものとなっている.
この3条件を満たす,集合 $X$ とその上の距離 $d$ の組である $d(X,d)$ を超距離空間[ultrametric space]という.超距離[ultrametric,super-metric]は非アルキメデス距離ともいう.なお,離散距離は超距離であり, $p$-進数全体の成す集合は完備超距離空間となっている.
Mathematics is the language with which God has written the universe.