Definition of "quasivariety" []

• Any of a class of algebraic structures generalizing the notion of variety by allowing equational conditions on the axioms defining the class. (noun)

Wiktionary.org : Text is available under the Creative Commons Attribution-ShareAlike License

• "Since equations are quasiequations, each variety is a quasivariety."
• "L and Eq is finite, then the quasivariety generated by"
• "Conversely, if a quasivariety is an Eq-algebraic semantics for a finitary"