Birkhoff's HSP theorem

Redirect to:

• Variety (universal algebra)#Birkhoff's theorem