Let ( G , e , ∘ ) {\displaystyle {}(G,e,\circ )} be a group.
x ∈ G {\displaystyle {}x\in G} , the element y ∈ G {\displaystyle {}y\in G} fulfilling