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