Assertion: ring's ideal | /r/HasProperty | such that i j r
Facets:
value: such that
type: DEGREE
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.