– функция, полученная из системы функций f , f1, f2, … , fk , некоторой подстановкой функций f1, f2, … , fk во внешнюю функцию f вместо переменных и переименованиями переменных
» Глоссарий
