Butir. Terdapat suatu unsur \(e \in G\text{,}\) yang disebut unsur identitas, sedemikian sehingga untuk setiap unsur \(a \in G\) \begin{equation*} e \circ a = a \circ e = a\text{.} \end{equation*}