(algebra) 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.
Usage notes
If the larger ring contains a multiplicative identity, certain authors also require that the identity also be contained in the subring.