Ordinals under Addition form Monoid

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


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

Proof
The result follows from Ordinals under Addition form Semigroup and Ordinal Addition by Zero.