箱入り無数目を成立させるには、
同値類のどの列についても、その列の情報から必ず同じ代表列が選べる
必要がある

そうでないと決定番号が一意に定まらず、確率計算の前提が崩壊する

選択公理が分かってない人たちは、選択公理だけでは
「同値類のどの列についても、その列の情報から必ず同じ代表列が選べる」
と言えないと思ってるようだが、それは誤解である

選択関数を１つ決めてしまえば、言えてしまう