Ordinals under Addition form Semigroup

Theorem
$\left({\operatorname{On}, +}\right)$ forms an semigroup, where:


 * $\operatorname{On}$ denotes the ordinal class, and
 * $+$ denotes ordinal addition.

Proof
The result follows from Ordinal Addition is Closed and Ordinal Addition is Associative.