Choice function f:R^N/〜→R^N
functionの定義に従いfは定義域R^N/〜の任意の元(任意の同値類)に対して代表元を対応させている
対応させてるんだから決まってないとダメじゃんw 決まってないなら対応させてることにならない、つまりfunctionの定義に反するじゃんw

なんか中学生に言ってる気分だw