Cauchy sequence
事を完全に厳密にするには、 の有理コーシー列による定義において、さらに任意の に対して十分大きな番号の項で を超えるものが取れるような有理コーシー列全体の成す集合として を、同様の仕方で を、それぞれ定義することにすればよい。