Assertion: ring's set | /r/HasProperty | ideal
Facets:
Source sentences:
text: The set of all multiples of any integer is an Ideal.