>>199
R^N/〜に対して、f(x)∈x (x∈R^N/〜)を満たす関数を選択公理で一つ構成したのですよ。