Commutative Monoid

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