Eine (universelle) Algebra besteht aus einer Menge, der Trägermenge, und Operationen auf dieser Menge. Einfache Beispiele sind Halbgruppen, Gruppen sowie Ringe und Körper.
Universelle Algebren (meist mehrsortig, d.h. mit mehreren Trägermengen) werden insbesondere in der theoretischen Informatik betrachtet. Sie dienen dort als Grundlage für die (algebraische) Spezifikation abstrakter Datentypen und für Termersetzungssysteme.