Definition of "subring"