Birkhoff HSP theorem: variety = class closed under H, S, P

Birkhoff 1935 (Proc. Camb. Phil. Soc. 31:433). A class V of algebras of a fixed signature is a variety (equational class) iff it is closed under three operators: H (homomorphic images), S (subalgebras), P (direct products). Equivalently,…