Es sei M ⊆ Γ ( M ) ≅ Z n = M {\displaystyle {}M\subseteq \Gamma (M)\cong \mathbb {Z} ^{n}=M} ein Monoid und betrachte die Menge