20/03/21 19:29:35 gPebnXHG.net
>>563
くっくっくっ
おサルは選択公理が分かっていないなｗ(゜ロ゜；
定義（下記より）
選択公理：空集合を要素に持たない任意の集合族に対して、各要素（それ自体が集合である）から一つずつその要素を選び、新しい集合を作ることができる
さて、ここに 集合族が有限なら有限集合の族に対する選択公理（以下有限選択公理と称する）、可算なら可算選択公理、可算超えならフルパワー選択公理だ
いま同値類が１つあり代表を1つ選ぶだけなら、有限選択公理で間に合う
同様に、有限ｎ個の同値類から代表をｎ個を選ぶのも同じく、有限選択公理で間に合う
時枝では、有限ｎ個の同値類から代表をｎ個を選ぶことができれば、最低限それで十分だ
（もちろん、ヒマなら もっと多くの同値類から代表を選べ。ご苦労だが、必要