Commutative Semiring
A commutative semiring is a Semiring whose multiplicative monoid is a Commutative Monoid. More abstractly, a commutative semiring is a Commutative Monoid Object in the Category of Commutative Monoids with respect to the Tensor Product of Commutative Monoids.