Assertion: ring's ideal | /r/CapableOf | become for instance
Facets:
Source sentences:
text: The latter gives a strictly weaker condition, even for rings that do have a multiplicative identity, so that for instance all ideals become subrings (and they may have a multiplicative identity that differs from the one of R).