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: Or just 5.8 EB of bee neuron data.
gollark: They probably should be anyway.
gollark: Things will probably need to be designed to run on a "synchronizing state" model instead of a "request/response" one.
gollark: ALL will be forced to accept MongoDB.
gollark: I've never actually had a disk failure, which makes me waaaay too incautious about backups!
This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.