Assertion: algebra's operation | /r/HasProperty | specified
Facets:
Source sentences:
text: After the operations have been specified, the nature of the algebra is further defined by axioms, which in universal algebra often take the form of identities, or equational laws.