from The Century Dictionary and Cyclopedia
- As an equation or as equations: in the form of equations; by use of equations.
Sorry, no etymologies found.
This fact gives a way of showing that lK can not be algebraizable by showing that the lK-filters of the reduced matrices are not equationally definable from the algebras, since if they where then for every A
Tarski's paper treated relation algebras as an equationally defined class ” such a class has many models besides the collection of all binary relations on a given universe that was considered in the 1800s, just as there are many Boolean algebras besides the power set Boolean algebras studied in the