In mathematics, a subring of a ring R is a subset of R 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 R.