Def/Ordinal number



=Successors=

Successors of ordinal numbers are again ordinal numbers. This can be seen as follows:

=Metadata=