>>688
＞誤　R　⊃　R/Q
＞正　任意のx∈R/Qについて、R⊃xで、∪x(x∈R/Q)=R

スレ主です
ありがとう
そこは自己解決した

　>>687 より
１）いま、可算選択公理を仮定すると、有理数Qすべてに附番ができて
　q1,q2,・・qn・・とできる
２）R/Q＝{[q1],[q2],・・[qn]・・}と書ける
　　[qn]の意味は、>>684 ご参照
３）任意r∈Rで、rはR/Qから取り出せる（可算選択公理で間にあう？）
　逆も真（任意[qn]の元は、Rの元）
(引用終り)

で良いと思う
ふと思うと、∀r（∈R）を取り出す関数を使うと
カッコいいかもｗ　 ；ｐ）