Definition:Monomial of Free Commutative Monoid