 A variety is the class of all models of a set of equations. A quasivariety is the class of all models of a set of quasiequations. An elementary class is the class of all models of a set of first-order formulas.