Definition:Degree of Element of Free Commutative Monoid