>>333
>当然選択公理による代表元の選出が必要
通常、数学で選択公理は仮定するぞ。
数学で選択公理を仮定しないということは滅多にない。
コメント付けると余計に長くなるだけ。