Substitution

- Natural & Formal Sciences -
Mathematics & Logic Dictionary
A mapping from variables to terms which, when applied to a term or formula, replaces each variable in its domain uniformly by the corresponding term and extends homomorphically to compound terms.