Assertion: arithmetic | /r/HasProperty | arithmetic system
Facets:
Source sentences:
text: Modulo-2 arithmetic is an arithmetic system where every result is taken modulo-2.