Assertion: ring's ideal | /r/HasProperty | proper
Facets:
Source sentences:
text: An ideal is proper if it is strictly smaller than the whole ring.