>>668

実数に拡張？
なんか根本で理解が食い違っている?

有理数の切断　(A, A') と (B,B') に対して
(A,A') 〜 (B,B') ⇔
(A-B)∪(B-A)が, たかだか一点から成る集合(空集合も含む)
で同値関係 〜 を入れて,
R={有理数の切断}/ 〜 と定義して実数を「作っている」んじゃないの？