到達不能基数κはもちろん順序数
すなわち∈について整列している推移的「集合」