Assertion: group's operation | /r/CapableOf | satisfy certain algebraic conditions
Facets:
Source sentences:
text: Group (mathematics), a set together with a binary operation satisfying certain algebraic conditions