Ordinals under Addition form Semigroup

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.