スレタイ箱入り無数目を語る部屋33(あほ二人の”アナグマの姿焼き"Part7ｗ)

>>151
>また、一般に集合Sについて、
>その冪集合から要素への選択関数が存在すれば
>それを使ってSを整列出来る
>ただどの順序数と等しいかまでは分からんが
そもそも順序数は整列集合に対して定義され、整列集合(S,<)とその順序数(α,∈)は順序同型。