柯西序列
記formula_1為由有理數的柯西序列組成的集合。定義兩個柯西序列的加法和乘法為：