Ordinals under Multiplication form Semigroup

Theorem

$\struct {\On, \times}$ forms an semigroup, where:

$\On$ denotes the class of all ordinals

$\times$ denotes ordinal multiplication.

Proof

The result follows from Ordinal Multiplication is Closed and Ordinal Multiplication is Associative.

$\blacksquare$