\begin{definition}[Definition:Non-Trivial Ring]
A '''non-trivial ring''' is a ring which is not trivial.
That is, a ring $R$ such that:
:$\exists x, y \in R: x \circ y \ne 0_R$
where $0_R$ denotes the zero of $R$.
\end{definition}