>>569
>>567の順序数は∈を順序関係とした場合の定義

>>570-571
>有限個の元からなる集合を、
>有限集合とする定義もありだろうが、

「・・・もあり」ではなく上記の定義が全て

キューネンの本を翻訳した藤田氏に
ツイッターで訊ねたら？

藤田氏のtwitterアカウント
ジタさん (@fujitapiroc1964)