Assertion: ring's ideal | /r/HasProperty | single maximal
Facets:
Source sentences:
text: A ring is called local if it has only a single maximal ideal, denoted by m.