Ordinals are Totally Ordered
Jump to navigation
Jump to search
Theorem
The ordinals are totally ordered.
Proof
Follows directly from Relation between Two Ordinals and Subset Relation is Ordering.
$\blacksquare$