Definition:Proper Subring

Definition
Let $\left({R, +, \circ}\right)$ be an algebraic structure with two operations.

A subring $S$ of a ring $R$ is a proper subring iff $S$ is not the Null Ring nor $R$ itself.