Definition:Non-Trivial Element

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