Noun
pseudovariety (plural pseudovarieties)
(mathematics) 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.