Английская Википедия: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.[1]

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

Related

References

Шаблон:Reflist


Шаблон:Mathlogic-stub