# Definition:Proper Subring

Let $\struct {R, +, \circ}$ be a ring.
A subring $S$ of $R$ is a proper subring of $R$ if and only if $S$ is neither the null ring nor $R$ itself.