Ein Monoid ${\displaystyle {}(G,e,\circ )}$ heißt Gruppe, wenn jedes Element ein inverses Element besitzt, d.h. wenn es zu jedem ${\displaystyle {}x\in G}$ ein ${\displaystyle {}y\in G}$ mit ${\displaystyle {}x\circ y=e=y\circ x}$ gibt.