Ein Element ${\displaystyle {}x\in M}$ in einem Monoid ${\displaystyle {}(M,e,\circ )}$ heißt invertierbar, wenn es ein ${\displaystyle {}y\in M}$ mit

${\displaystyle {}x\circ y=y\circ x=e_{M}\,}$

gibt.