Equational Theory
- Mathematics & Logic -
Pure Mathematics Dictionary
Definition
A first-order theory in a fixed algebraic signature whose axioms are exclusively universally quantified equations between terms, and which is closed under the consequence relation of equational logic.
Equational Theory
- Pure Mathematics -
Algebra Dictionary
Definition
A first‑order theory whose axioms are exclusively equations between terms over a signature; its models are precisely the algebras in which the stated identities hold universally.