Ideal is Subring

Let $$\left({R, +, \circ}\right)$$ be a ring, and let $$J$$ be an ideal of $$R$$.

Then $$\left({R, +, \circ}\right)$$ is a subring of $$R$$.

Proof
This follows directly from the definition of a subring and Subring Test.