Cauchy sequence
距離空間を一般化した空間である一様空間上でもコーシー列に対応するものを以下のように定義できる。