Kommutatives Monoid/Teilbarkeit/Definition

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