Подстановка одной функции в другую

Подстановкой функции g в функцию f называется замена i-того аргумента функции f значением функции g:

Допускается также не только подстановка одной функции в другую, но и подстановка функции в саму себя.

При подстановке функции вместо -того аргумента функции , результирующая функция будет принимать аргументы, которые можно разделить на следующие блоки:

1.	— аргументы функции до подставленного значения функции
2.	— используются как аргументы для вычисления значения функции
3.	— аргументы функции после подставленного значения функции g

Отождествлением переменных называется подстановка -того аргумента функции вместо -того аргумента:

Таким образом, при отождествлении переменных мы получаем функцию с количеством аргументов .