Assertion: ring's ideal | /r/HasProperty | closed under right multiplication
Facets:
value: by elements from r.
type: OTHER
Source sentences:
text: Proper ideals are subrings (without unity) that are closed under both left and right multiplication by elements from R.