Term Algebra

The free algebra of syntactic terms built from a given signature and set of variables: elements are formal term trees and operations are term-forming function symbols; it satisfies the universal property of free objects in the category of algebras for that signature.

The free algebra over a signature generated by a set of variables whose elements are syntactic terms built from operation symbols and variables, taken without imposing any identities beyond the syntactic formation rules.