Assertion: abelian group | /r/HasProperty | equipped with three functions
Facets:
Source sentences:
text: By the way, if you're wondering where the 4 identities listed in the body of the answer come from, they come from a 3x3 grid of identities (3 because Abelian groups are equipped with three functions; a binary function +, a unary function -, and a nullary function 0).