Editing Universal algebra (section)

=== Equations ===
After the operations have been specified, the nature of the algebra is further defined by [[axiom]]s, which in universal algebra often take the form of [[Identity (mathematics)#Logic and universal algebra|identities]], or '''equational laws.'''    An example is the [[associative]] axiom for a binary operation, which is given by the equation ''x''&nbsp;∗&nbsp;(''y''&nbsp;∗&nbsp;''z'')&nbsp;= (''x''&nbsp;∗&nbsp;''y'')&nbsp;∗&nbsp;''z''.  The axiom is intended to hold for all elements ''x'', ''y'', and ''z'' of the set ''A''.