\begin{definition}[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$.
\end{definition}