Definition (Functional)

A functional is a function of functions.