柯西序列

一個 序列 , , ... 使得 度量 滿足

有理數中的柯西序列不一定收斂，但它們在實數中收斂。

實數可以使用戴德金分割或柯西序列來定義。