\begin{definition}[Definition:Non-Trivial Group]
A '''non-trivial group''' is a group which is not the trivial group.
It is often used in arguments to exclude the sometimes erratic behaviour of the trivial group.
\end{definition}