Es sei ( G , e , ∘ ) {\displaystyle {}(G,e,\circ )} eine Gruppe.
Dann ist zu jedem x ∈ G {\displaystyle {}x\in G} das Element y ∈ G {\displaystyle {}y\in G} mit
eindeutig bestimmt.