コーシー列
の完備化は 内のコーシー列のある同値類集合として構成することができる。まず 内の任意の二つのコーシー列 と に対して、それらの間の距離を