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.

gollark: Slime coolers: 100H/t cooling if beside an emerald cooler and lapis cooler.
gollark: And all other coolers.
gollark: Simple.
gollark: then remove any but milk.
gollark: Which is a shame - I want my milk coolers.
This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.