Quasivariété

Une classe d'algèbres axiomatisable par un ensemble de phrases Horn universelles ; équivalemment, une classe close par sous-algèbres, produits directs et ultraproduits (et contenant l'algèbre triviale lorsque cela est requis).

Une classe d’algèbres axiomisable par des phrases universelles Horn (quasi‑identités) ; équivalente à une classe fermée par sous‑algèbres, produits directs et ultraproducts (et isomorphismes), mais pas nécessairement par images homomorphes.