Quasivariety

In the context of universal algebra and category theory, a **quasivariety** is a generalization of the concept of a variety. A quasivariety is usually defined in terms of a set of equations or a collection of algebraic structures.