コーシー列
コーシー列は、最初の項を十分たくさん無視すれば最終的に項が互いにいくらでも近くなるような列である。コーシー列の概念は距離空間の点列の研究において、特に、実解析において、重要である。実解析における1つのとりわけ重要な結果は、"列の収束のコーシーの判定法"である：実数列が収束することとそれがコーシー列であることは同値である。これは他の完備距離空間においても正しい。