Eckmann-Hilton argument

Let be a set equipped with two binary operations and such that these operations are unital and for all . Then and together with forms a Commutative monoid. algebra