Dados dos puntos x e y de la recta real, se define la distancia de x a y como el siguiente número real: