Definition 1. Every well-ordered set $W$ is isomorphic to a unique ordinal number. This unique ordinal number is called the order type of $W$ (with respect to the given well-order).
Pub Mar 05, 2026 Up Jun 10, 2026
Definition 1. Every well-ordered set $W$ is isomorphic to a unique ordinal number. This unique ordinal number is called the order type of $W$ (with respect to the given well-order).