Assertion: algebra's operation | /r/HasProperty | nullary operation e
Facets:
Source sentences:
text: The group axioms can be phrased as universally quantified equations by specifying, in addition to the binary operation ∗, a nullary operation e and a unary operation ~, with ~x usually written as x−1.