Order type (source code)

= Order type
{wiki}

The order type of a well-order is the unique ordinal isomorphic to it.