Assertion: group's operation | /r/HasProperty | the group law
Facets:
Source sentences:
text: An alternate (but equivalent) definition is to expand the structure of a group to define a group as a set equipped with three operations satisfying the same axioms as above, with the "there exists" part removed in the two last axioms, these operations being the group law, as above, which is a binary operation, the inverse operation, which is a unary operation and maps a to a − 1 , {\displaystyle a^{-1},} and the identity element, which is viewed as a 0-ary operation.