A operation between two Functions and that produces a List of elements. It is the integral of the product of the two functions after one is reflected about -axis and shifted.

Definition