commutative monoid of distributions

The same proof goes through for the case of (non-commutative) monoids.

References.

• From Multisets over Distributions to Distributions over Multisets (Jacobs, 2021) mentions this commutative monoid structure.