Assertion: ring's set | /r/HasProperty | the operation of addition
Facets:
Source sentences:
text: S is set of O1 is the operation of addition, the inverse operation is subtraction O2 is the operation of multiplication I1 is the identity element zero (0)