Нехай е множини А, В, С і [В®С] - множина функцій з В у С.
Визначення. Функція f:A®[B®C] називається функціоналом, тобто для будь-якого аÎA f(a) - функція - f(a):B®C, для будь-якого bÎB f(a)(b)ÎC.
Необхідно мати на увазі, що множини функцій [B®С] можуть розглядатися як і будь-які інші множини, тобто функціоналів слід розглядати як функції, що мають нетривіальні області значень.
Приклад. Нехай функція f:A®[B®C] визначає терміновість кореспонденції, функція - f(a):B®C – вибір транспортного засобу в залежності від терміновості (потяг, літак,...).