Assertion: abelian group's element | /r/CapableOf | exist an element b
Facets:
value: for each a in a
type: LOCATION
Source sentences:
text: Inverse element For each a in A, there exists an element b in A such that a • b = b • a = e, where e is the identity element.