Ordinals under Addition form Monoid

Theorem
$\struct {\On, +}$ forms an monoid, where:


 * $\On$ denotes the class of all ordinals
 * $+$ denotes ordinal addition.

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