Un Espacio métrico formula_16 se dice que es completo si toda sucesión de Cauchy convergente tiene su límite dentro del espacio formula_17.