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$.