Birkhoff's HSP theorem

1. REDIRECT Variety (universal algebra)#Birkhoff's variety theorem

{{Rcatsh|

{{R sec}}

{{R adr|Birkhoff's variety theorem}}

{{R an}}

}}