How do you define function substitution?

Replace all free occurrences of the formal parameters in the function body by the actual arguments.

Example

We contract the expression:

(x => {return x * x;})(4)

We replace every free occurrence of x in the body of the function x * x by the actual parameter 4.

This gives us 4 * 4 eventually.

Substitution relation