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.