柯西序列
Cauchy completeness is the statement that every Cauchy sequence of real numbers converges.