Pseudovariété

Une classe d'algèbres finies close par produits directs finis, sous-algèbres, et images homomorphes ; considérée dans une signature algébrique fixée et pertinente pour les applications aux modèles finis et à la théorie des automates.

Une classe d’algèbres finies (pour une signature fixée) fermée par produits directs finis, sous‑algèbres et images homomorphes ; étudiée principalement dans le contexte des structures algébriques finies où les propriétés de fermeture infinitaires ne sont pas pertinentes.