Cauchy sequence
距離空間 が、その任意のコーシー列が 上に極限を持つとき完備であるといい、完備である距離空間を完備距離空間、または単に完備空間という。