Assertion: ring | /r/HasAspect | subring
Facets:
value: with multiplicative identity
type: OTHER
Source sentences:
text: The ring Z and its quotients Z/nZ have no subrings (with multiplicative identity) other than the full ring.