quasivariety

Any of a class of algebraic structures generalizing the notion of variety by allowing…Any of a class of algebraic structures generalizing the notion of variety by allowing equational conditions on the axioms defining the class.