Definition:Free Commutative Monoid
From ProofWiki
Definition
The free commutative monoid on an indexed set $\left\{{X_j: j \in J}\right\}$ is the set $M$ of all mononomials under the standard multiplication.
