Assertion: algebra | /r/HasProperty | the commutative rings
Facets:
value: exactly
type: DEGREE
value: with identity
type: OTHER
Source sentences:
text: For example if we take the set of all identities expressible with the operations of addition, subtraction, and multiplication and constants 0 and 1 that hold for the integers, then the algebras in which those equations hold identically are exactly the commutative rings with identity.