Teorema HSP

Una caracterización (teorema de Birkhoff) de una clase ecuacional — llamada variedad — de álgebras: una clase de álgebras de una firma fija es una variedad exactamente cuando está cerrada bajo imágenes homomorfas, subálgebras y productos directos (operadores H, S, P).