Unital magma of size two is abelian monoid

From Groupprops

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.

Facts used

  1. Subset of elements in magma that commute with every element cannot have complement of size one