Assertion: abelian group | /r/HasProperty | axiomatized by identity
Facets:
Source sentences:
text: (this is because abelian groups can be axiomatized by identities), and thus every subset of set of all functions $X \rightarrow Y$ that is closed under the induced operations is itself an abelian group (again, because abelian groups can be axiomatized by identities).
text: (this is because abelian groups can be axiomatized by identities), and thus every subset of set of all functions $X \rightarrow Y$ that is closed under the induced operations is itself an abelian group (again, because abelian groups can be axiomatized by identities).