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: Accurate orbital prediction is as far as I know basically a solved problem, GPS relies on it.
gollark: True, true.
gollark: You don't really need to *destroy* the incoming rod as much as deflect it a few degrees though, no?
gollark: They radiate tons of heat and you can perfectly predict their orbital path given previous knowledge of it.
gollark: Space things are on the whole not very stealthy anyway.
This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.