Allgemeines Kommutativgesetz

Sei \((M, \cdot)\) eine kommutativer Monoid, dann gilt für \(m_i\) mit \(i \in \{1,...,n\}\)

\begin{align*} \prod_{i = 1} m_i = \prod_{i=1} m_{\sigma(i)} \end{align*}

für eine beliebige Permutation \(\sigma \in S_n\)