Cauchy sequence
が成り立つとき、数列 はコーシ－列である（あるいはコーシー的である、コーシー性を持つ）という。有限数列 は と延長することにより、コーシー列と見なせる。