一様コーシー列
数学において、ある集合 "S" から距離空間 "M" への函数列 formula_1 が一様コーシー（いちようコーシー、）であるとは、次が成立することをいう：
また別の表現として、formula_7 に対して formula_8 というものがある。ここで formula_9 は二つの函数の間の一様距離で、次のように定義される：