Assertion: algebra's operation | /r/HasProperty | defined in any way
Facets:
Source sentences:
text: A group is a combination of a set S and a single binary operation ∗, defined in any way you choose, but with the following properties: