Es sei ( M , 1 , ⋅ ) {\displaystyle {}(M,1,\cdot )} ein kommutatives Monoid. Man sagt, dass das Element a {\displaystyle {}a} das Element b {\displaystyle {}b} teilt, wenn es ein c ∈ M {\displaystyle {}c\in M} mit a ⋅ c = b {\displaystyle {}a\cdot c=b} gibt.
