Cauchy sequence
常用的小數記法可以自然地理解為柯西序列，比如說， formula_99的記法意味著 formula_100 是柯西序列 formula_101的等價類。等式formula_102則斷定了序列formula_103 和formula_104是等價的，即它們之間的差收斂到formula_105。