Si restringimos la metrica a X obtenemos un espacio métrico , donde d' es la restricción de d a X x X.