柯西序列
實數大小的比較也是透過在柯西序列上的定義而達成的：