Если совсем по-просту, это аналог функции с аргументами в произвольном (в том числе многомерном)) множестве, а её значения - вещественные (или комплексные). Функционалом является, например формула для вычисления площади треугольника, заданного двумя векторами.