\begin{definition}[Definition:Non-Trivial Element]
Let $\struct {G, \circ}$ be a group whose identity is $e$.
A '''non-trivial element''' of $G$ is an element of $G$ distinct from $e$.
\end{definition}