Assertion: isomorphism's inverse | /r/HasProperty | part of the structure
Facets:
Source sentences:
text: Additive inverses and the additive identity are part of the structure too, but it is not necessary to require explicitly that they too are respected, because these conditions are consequences of the three conditions above.