Assertion: ring's ideal | /r/HasProperty | a subring of r
Facets:
Source sentences:
text: With definition requiring a multiplicative identity (which is used in this article), the only ideal of R that is a subring of R is R itself.