Ordinals under Addition form Semigroup

From ProofWiki
Jump to navigation Jump to search

Theorem

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

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


Proof

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

$\blacksquare$