Varieta algeber je pojem z
univerzální algebry. Budiž
![](http://info.babylon.com/onlinebox.cgi?rt=GetFile&uri=!!RF9V4QVFGP&type=0&index=83)
signatura. Oznacme
trídu všech algeber s touto signaturou. Potom se trída nazývá
varietou, pokud existuje soustava
identit takových, že do spadají práve ty algebry z , které tyto identity splnují. Identita je zápis vyžadující rovnost dvou
termu (viz príklad).