noun A ring which is contained in a larger ring, such that the multiplication and addition on the former are a restriction of those on the latter. When rings are required to have a multiplicative identity (as is standard in most branches of algebra), the subring must also have the same multiplicative identity as the larger ring.