>>512
>自明な同値類を考えればsが選べるんだろ、選択公理を使って
「自明な同値類」とは何ですか?