Equational vs Quasivariety - What's the difference?
equational | quasivariety |
(mathematics) Any of a class of algebraic structures generalizing the notion of variety by allowing equational conditions on the axioms defining the class.
