La aplicación formula_37 es también una distancia sobre formula_25, y como comparte sobre formula_39 los mismos valores que formula_25, se denota también de la misma manera, es decir, diremos que formula_41 es subespacio métrico de formula_23.