pseudovariety

Noun

 * 1)  A class of algebras of a given signature, closed under the taking of homomorphic images, subalgebras and finitary direct products.
 * Pseudovarieties are of particular importance in the study of finite semigroups and hence in formal language theory.