柯西序列

一个 序列 , , ... 使得 度量 满足

有理数中的柯西序列不一定收敛，但它们在实数中收敛。

实数可以使用戴德金分割或柯西序列来定义。