Definition:Subring

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

A subring of $$\left({R, +, \circ}\right)$$ is a subset $$S$$ of $$R$$ such that $$\left({S, +_S, \circ_S}\right)$$ is a ring.

See Subring Test.