Varieta algeber je pojem z
univerzální algebry. Budiž
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).