Procedimiento para la construcción de la completación de un espacio métrico.