Definition

Let be an ordinal. Then is defined inductively as follows:

Where is the next largest well-ordered cardinal.

As such all ordinals are canonically well-ordered, and therefore equated with some ordinal.