Siendo "x" e "y" puntos de la recta real, el número real no negativo |y - x| nos permite evaluar la "proximidad" entre ellos, y se llama "distancia" ente "x" e "y".