Search
❯
Jun 05, 20261 min read
The order type of a Well-ordered set is the unique Ordinal to which it is Order-isomorphic.