Cauchy sequence
有理數集合就不是完备空间。例如，formula_66是有理數的柯西序列，但沒有有理數極限。实际上，它有個實數極限formula_4。實數是有理數的完备化：這亦是构造實數集合的一种方法。