定義:距離
上記の3条件は距離の公理ともいう.また,最初の条件の\[d(x,y) \geq 0\]は正値性といい,\[d(x,y)=0 \Leftrightarrow x=y\]は不可識別者同一性,もしくは,ノルム性とよばれる.最後の条件式は三角不等式という.さらに,集合 $X$ とその上の距離 $d$ の組である $d(X,d)$ を距離空間[metric space]という.
Mathematics is the language with which God has written the universe.