Variété (Algèbre Universelle)

Une variété en algèbre universelle est une classe d'algèbres de même signature fermée par images homomorphes (H), sous-algèbres (S) et produits directs arbitraires (P) ; équivalemment, une classe axiomatisable par un ensemble d'identités (équations).

Une classe d’algèbres pour une signature fixée, fermée par images homomorphes, sous‑algèbres et produits directs arbitraires ; équivalente aux modèles d’un ensemble d’identités algébriques (équations).