Definition:Functional

Definition
A functional is a mapping:
 * whose domain is a set of mappings
 * whose codomain is another set of mappings.