Tal procedimiento ocurre en la regla de sustitución del cálculo, cuando sustituimos una expresión por una metavariable.