Assertion: abelian group | /r/CapableOf | combine any two elements
Facets:
value: to form another element
type: PURPOSE
Source sentences:
text: It combines any two elements a and b to form another element denoted a • b. For the group to be abelian, the operation and the elements (A, •) must follow some requirements.