Assertion: group's operation | /r/HasProperty | denoted
Facets:
Source sentences:
text: Inverse element For each a in G, there exists an element b in G, commonly denoted a−1 (or −a, if the operation is denoted "+"), such that a ⋅ b = b ⋅