Existe una función d: π x π → R U {0} tal que a cada par de puntos A y B del plano pi, le hace corresponder un número real positivo o cero (no negativo) al que llamamos distancia entre esos puntos, que anotaremos d(A,B) y que cumple con las siguientes condiciones: