# Definition:Non-Trivial Subgroup

Let $\struct {G, \circ}$ be a group whose identity is $e$.
A non-trivial subgroup of $\struct {G, \circ}$ is a subgroup $\struct {H, \circ}$ of $G$ such that $H \ne \set e$.