>>515
>手探りで、同値類の代表を一つとるしかない
選択公理を仮定するなら選択関数が存在する
存在するならいずれか一つを予め固定することができる
つまり同値類の代表は最初から唯一定まっていると考えて良い
よって代表にケチをつけてもただの言いがかりに過ぎない