HSP-Satz

Eine Charakterisierung (Birkhoffs Satz) equational definierter Klassen — sogenannter Varietäten — von Algebren: Eine Klasse von Algebren einer festen Signatur ist genau dann eine Varietät, wenn sie unter homomorphen Bildern, Unteralgebren und direkten Produkten abgeschlossen ist (Operators H, S, P).