Given a set "A", the free commutative monoid on "A" is the set of all finite multisets with elements drawn from "A", with the monoid operation being multiset sum and the monoid unit being the empty multiset.