Univerzální algebra je odvětví abstraktní algebry, které zkoumá vlastnosti společné různým druhům algebraických struktur. Abstraktní algebra zkoumá vlastnosti platné pro jednotlivé struktury (například nějaká věta je dokázána pro grupu a není ji tedy nutné dokazovat pro nejrůznější matematické objekty, které splňují definici grupy), univerzální algebra míru abstrakce a obecnosti dále zvyšuje zkoumáním výsledků, které platí pro všechny variety (varietu grup, varietu svazů, varietu lineárních prostorů apod.) Výsledky univerzální algebry lze ještě dále zobecnit v teorii kategorií.