Algebraic definition
From HandWiki
Revision as of 16:19, 4 August 2021 by imported>PolicyIA (attribution)
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
 | This article does not cite any external source. HandWiki requires at least one external source. See citing external sources. (04-August) (Learn how and when to remove this template message) |
 |  |
