Varietät (Universelle Algebra)

Eine Varietät in der universellen Algebra ist eine Klasse von Algebren derselben Signatur, die unter homomorphen Bildern (H), Teilalgebren (S) und beliebigen direkten Produkten (P) abgeschlossen ist; äquivalent durch Axiomatisierbarkeit mittels Identitäten (Gleichungen).

Eine Klasse von Algebren für eine feste Signatur, die unter homomorphen Bildern, Unteralgebren und beliebigen direkten Produkten abgeschlossen ist; äquivalent zur Klasse aller Modelle einer Menge algebraischer Identitäten (Gleichungen).