Definition:Free Commutative Monoid

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