# Definition:Ideal of Ring/Proper Ideal

(Redirected from Definition:Proper Ideal)
Let $\left({R, +, \circ}\right)$ be a ring.
A proper ideal $J$ of $\left({R, +, \circ}\right)$ is an ideal of $R$ such that $J$ is a proper subset of $R$.
That is, such that $J \subseteq R$ and $J \ne R$.