Assertion: abelian group's element | /r/CapableOf | produce the identity element
Facets:
Source sentences:
text: These require that the group be closed under the operation (the combination of any two elements produces another element of the group), that it obey the associative law, that it contain an identity element (which, combined with any other element, leaves the latter unchanged), and that each element have an inverse (which combines with an element to produce the identity element).