\begin{definition}[Definition:Proper Subring]
Let $\left({R, +, \circ}\right)$ be a ring.
A subring $S$ of $R$ is a '''proper subring of $R$''' {{iff}} $S$ is neither the null ring nor $R$ itself.
\end{definition}