Eine Termalgebra ist eine Algebraische Struktur, die aus einer Signatur frei generiert wird. Die Signatur gibt die Operationen der Algebra an mit deren Stelligkeiten – inklusive nullstellige Operationen, auch Konstanten genannt. Zum Beispiel sind freie Halbgruppen isomorph zu Termalgebren, die aus einer Signatur generiert werden, die nur aus ein...