>>314
実数を有理コーシー列の同値類として定義するための準備だろ。