 Algebraic theory

Informally in mathematical logic, an algebraic theory is one that uses axioms stated entirely in terms of equations between terms with free variables.Inequalities and quantifiers are specifically disallowed.