Cauchy sequence
度量空間 M 稱之為完備的，若每個柯西序列均收斂於 M 內，亦即：若 formula_105，其中 n 與 m 各自趨近於無限大，則存在某個 formula_106，使得 formula_107。