Assertion: ring's ideal | /r/HasProperty | the submodules of r
Facets:
Source sentences:
text: Ideals of a ring R are the submodules of R, i.e., the modules contained in R.