In
mathematics, the operation of
substitution consists in replacing all the occurrences of a
free variable appearing in an
expression or a
formula by a number or another expression. In other words, an expression involving free variables may be considered as defining a
function, and substituting values to the variables in the expression is equivalent to applying the function defined by the expression to these values.