柯西序列
稱兩個柯西序列是等價的，如果它們之間的差收斂到0。這樣便在formula_1上定義了一個等價關係。以formula_80表示包含序列formula_64的等價類。