Algèbre de Termes

L'algèbre libre des termes syntaxiques construits à partir d'une signature donnée et d'un ensemble de variables : ses éléments sont des arbres de termes formels et les opérations sont les symboles de formation de termes ; elle satisfait la propriété universelle d'objet libre dans la catégorie des algèbres de cette signature.

L'algèbre libre sur une signature engendrée par un ensemble de variables dont les éléments sont des termes syntaxiques construits à partir de symboles d'opération et de variables, pris sans imposition d'identités autres que les règles syntaxiques de formation.