Trivial Group is Abelian

Theorem
The trivial group is an abelian group.

Proof
From Trivial Group is Cyclic Group, it is shown that the algebraic structure $\struct {\set e, \circ}$ such that $e \circ e = e$ is a cyclic group.

The result follows from Cyclic Group is Abelian.