Algebraic theory

The notion is very close to the notion of algebraic structure, which, arguably, may be just a synonym.

Saying that a theory is algebraic is a stronger condition than saying it is elementary.

An algebraic theory consists of a collection of n-ary functional terms with additional rules (axioms).

Note that for the case of operation 2 → 1, the appropriate algebra A will define a morphism