Ordinals under Addition form Ordered Monoid

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


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

Proof
The result follows from Ordinals under Addition form Monoid and Ordinals under Addition form Ordered Semigroup.