Algebraic definition
In mathematical logic, an algebraic definition is one that can be given using only equations between terms with free variables. Inequalities and quantifiers are specifically disallowed.
Saying that a definition is algebraic is a stronger condition than saying it is elementary.
Related[edit]
References[edit]
 | This mathematical logic-related article is a stub. You can help Wikipedia by expanding it. |