任意なの？
非可算順序数でも大丈夫なんだ。