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: <@225689477836701696> https://what-if.xkcd.com/13/
gollark: well, vanilla is boring, thus bees.
gollark: I'm actually angry at it too right now because my spruce tree *will not grow*.
gollark: Yes, the combination of cover and blurb is *basically* how I choose books.
gollark: I think it's mostly just costly signalling, really.
This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.