Unital magma of size two is abelian monoid
Statement
Suppose is a magma of size two and has a neutral element . Then, is both a commutative binary operation and an associative binary operation, making an abelian monoid.
Suppose is a magma of size two and has a neutral element
. Then,
is both a commutative binary operation and an associative binary operation, making
an abelian monoid.