無限回操作が well-defined であるなら極限順序数は不要。0以外すべて後続順序数で定義できるから。