スレタイ箱入り無数目を語る部屋31(あほ二人の”アナグマの姿焼き"Part5ｗ)

コーシー列の同値類で実数を作る場合
同値関係はどっか上に書いた大小関係から得るものでいいのかな？
つまり
(xn),(yn)∈CS={(xn)∈Q^N|0<∀ε∈Q,∃n∈N,n<∀i,j∈N: |xi-xj|<ε}
について
(xn)<(yn) ::⇔ ∃p,q∈Q,∃n∈N,n<∀i∈N: xi<p<q<yi
とするとき
(xn)〜(yn) ::⇔ ¬((xn)<(yn)∨(yn)<(xn))
で
R=CS/〜
と