Assertion: ring's ideal | /r/HasProperty | j of r
Facets:
Source sentences:
text: The ideal I is said to be a maximal ideal of R if for all ideals J of R such that I J R, either J = I or J = R.