Identificando X con su imagen, podemos decir que cada espacio metrico está contenido en un espacio métrico completo.