Assertion: algebra's operation | /r/HasProperty | given by the equation
Facets:
Source sentences:
text: An example is the associative axiom for a binary operation, which is given by the equation x ∗ (y ∗ z) =