Assertion: ring | /r/HasProperty | subring one
Facets:
Source sentences:
text: If all rings have been assumed, by convention, to have a multiplicative identity, then to be a subring one would also require S to share the same identity element as R.