Assertion: abelian group's element | /r/CapableOf | exist element
Facets:
Source sentences:
text: It is possible to define invertible elements: an element x is called invertible if there exists an element y such that