Termalgebra

Die freie Algebra syntaktischer Terme, aufgebaut aus einer gegebenen Signatur und einer Menge von Variablen: Elemente sind formale Termbäume und Operationen die termbildenden Funktionssymbole; sie erfüllt die universelle Eigenschaft freier Objekte in der Kategorie der Algebren dieser Signatur.

Die freie Algebra über einer Signatur, erzeugt von einer Menge von Variablen, deren Elemente syntaktische Terme sind, gebaut aus Operationssymbolen und Variablen, ohne auferlegte Identitäten außer den syntaktischen Bildungsregeln.