Quasivarietät

Eine Klasse von Algebren, die durch eine Menge universeller Horn-Sätze axiomatisierbar ist; äquivalent ist es eine Klasse, die unter Teilalgebren, direkten Produkten und Ultraprodukten abgeschlossen ist (und falls erforderlich die triviale Algebra enthält).

Eine Klasse von Algebren, die durch universelle Horn‑Sätze (Quasi‑Identitäten) axiomatisierbar ist; äquivalent zu einer Klasse, die unter Unteralgebren, direkten Produkten und Ultraprodukten (sowie Isomorphismen) abgeschlossen ist, jedoch nicht notwendigerweise unter homomorphen Bildern.