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.

References

  1. "Definition of ALGEBRAIC". www.merriam-webster.com. Retrieved 2022-10-04.


This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.