>>242
>区間[0,1]の有理数の10進展開のしっぽ同値を考えると、同値類は可算無限できる
>可算無限の同値類から、”事前に”代表を決めるには、可算選択公理は必要
不要。
有理数の10進展開は循環小数（有限小数も循環節"0"の循環小数）。
しっぽ同値関係は循環節で小数を類別するが、各類ごとに「整数部が0且つ小数部が循環節だけの小数」を代表とすればよい。
つまりこの場合は選択関数を構成できるから選択公理は不要。