Метрикой на множестве X {\textstyle X} называется функция d : X × X → [ 0 , + ∞ ) {\textstyle d:X\times X\rightarrow [0,+\infty )} , удовлетворяющая следующим условиям:
1) d ( x , y ) = 0 {\textstyle d(x,y)=0} в точности тогда, когда x = y {\textstyle x=y}
2) d ( x , y ) = d ( y , x ) {\textstyle d(x,y)=d(y,x)} для всex x , y ∈ X {\textstyle x,y\in X}
3) d ( x , z ) ⩽ d ( x , y ) + d ( y , z ) {\textstyle d(x,z)\leqslant d(x,y)+d(y,z)} для всex x , y , z ∈ X {\textstyle x,y,z\in X} .
Множество с заданной на нём метрикой называют метрическим пространством.