Skip to main content
1 of 5

What kind of formulas are acceptible as axioms for a class of structures with (only) operations to be called "algebra"?

I know only about identities and quasi-identities as axioms of structures called "algebras". Are there other kinds of such formulas?

I perceive identities and quasi-identities as specific for algebra, because they define varieties and quasi-varieties, which can be defined also in terms of homomorphisms, subalgebras, products and subdirect products - notions specifically algebric. Are there other algebraic notions same strongly correlated with fundamental formulas describing them?

This question was motivated by my another question, where I named "adjunction algebra" an algebra with a binary operation and axioms among which one is not an identity, and I don't know whether or not it is equivalent with one or several quasi-identities.