Commutative Monoid

A commutative monoid is a Monoid ( M , , e ) 𝑀 𝑒 (M,\star,e) where is \star Commutative.