In mathematics, a subring of a ring is a subset of that is itself a ring when binary operations of addition and multiplication on R are restricted to the subset, and that shares the same multiplicative identity as .

Definition

A subring of a ring is a subset of that preserves the structure of the ring, i.e.