\begin{definition}[Definition:Non-Null Ideal]
Let $\struct {R, +, \circ}$ be a ring whose zero is $0_R$.
Let $J$ be an ideal of $R$ such that $J \ne \set {0_R}$.
Then $J$ is a '''non-null ideal''' of $R$.
\end{definition}