Ordinals under Addition form Semigroup
Jump to navigation
Jump to search
Theorem
$\struct {\On, +}$ forms an semigroup, where:
- $\On$ denotes the class of all ordinals
- $+$ denotes ordinal addition.
Proof
The result follows from Ordinal Addition is Closed and Ordinal Addition is Associative.
$\blacksquare$