# Definition A *subgroup* $S$ of a [[group]] $G$ is a collection of elements of $G$ which themselves form a [[group]] with the same binary operation. As a group, the subgroup must contain an identity element. Since $e \in G$ is unique, we can conclude that $e \in S$.