Théorème HSP

Caractérisation (théorème de Birkhoff) d'une classe équationnelle — appelée variété — d'algèbres : une classe d'algèbres d'un même signature est une variété précisément quand elle est fermée par images homomorphes, sous‑algèbres et produits directs (opérateurs de fermeture H, S, P).