Assertion: group's operation | /r/HasProperty | binary
Facets:
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.