Butir. Untuk setiap unsur \(a \in G\text{,}\) terdapat unsur invers dalam G, yang dilambangkan dengan \(a^{-1}\text{,}\) sedemikian sehingga \begin{equation*} a \circ a^{-1} = a^{-1} \circ a = e\text{.} \end{equation*}