Ein Element m {\displaystyle {}m} in einem Monoid ( M , 0 , + ) {\displaystyle {}(M,0,+)} heißt Einheit, wenn es ein Element n ∈ M {\displaystyle {}n\in M} mit
gibt.