>>368
>> 同値類の中が真っ暗で、元を手探りで一つ選ぶことを考える
>　選択公理が成立してない、という意味？

選択公理が成立しているという意味
というか、選択公理は 各同値類から 必ず一つ元を選ぶというだけ
だから、同値類の性質には、無関係です