A functional (at least when used in a Computer science context) is commonly defined as a function on a Function space, possibly returning a function as well. These are effectively higher-order functions or “meta-functions”; they are functions of functions.

A familiar example of a higher-order function (or operator or functional) is the differential operator, a mapping from a function to its derivative (also a function).