HSP Theorem

A characterization (Birkhoff's theorem) of an equational class (a variety) of algebras: a class of algebras of a fixed signature is a variety exactly when it is closed under homomorphic images, subalgebras, and direct products (the closure operators H, S, P).