Suponer que tenemos un espacio métrico X que no es completo.