Assertion: integer | /r/HasProperty | closed under addition
Facets:
Source sentences:
text: Let I be a nonempty set of integers that is closed under addition and subtraction.