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