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.