expresa (sin ninguna referencia a una operación en los reales positivos, |"x" - "y"| es la distancia allí) el hecho que "d"("x", "-") es función corta (luego uniforme, luego continua).