Assertion: algebra's operation | /r/HasProperty | say
Facets:
Source sentences:
text: Binary operations: The notion of addition (+) is abstracted to give a binary operation, ∗ say.