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.

$\blacksquare$