La siguiente proposición esteblece que para cada espacio métrico (sea o no subespacio de otro), podemos hallar un espacio métrico completo