pseudovariety

Today it means: A class of algebras of a given signature, closed under the taking of homomorphic images, subalgebras and finitary direct products. Full definition →