Definition. Commutative monoid [dm-000P]
A commutative monoidis a monoid (S, \iota , \bullet ) where the binary operator (\bullet ) : S \times S \rightarrow S additionally satisfie commutativity.
A commutative monoidis a monoid (S, \iota , \bullet ) where the binary operator (\bullet ) : S \times S \rightarrow S additionally satisfie commutativity.