Cauchy sequence
Cauchy completeness is the statement that every Cauchy sequence of real numbers converges.