HallsofIvy

Defining an "ordinary" product, that is as the product of the results of the functionals would destroy linearity.

Unfortunately, since a "functional" maps functions to numbers, the composition of two functionals does not exist.