>>254
>同値類から任意の1元を選択すれば済む
それが選択公理

つまりわざわざ公理を設定しなければ
そういう関数が存在する、とはいえない