Assertion: group's operation | /r/CapableOf | combine any two elements
Facets:
value: to form a third element
type: PURPOSE
Source sentences:
text: In mathematics, a group is a set equipped with a binary operation that combines any two elements to form a third element in such a way that four conditions called group axioms are satisfied, namely closure, associativity, identity and invertibility.