 The definition of a function with an abstraction merely "sets up" the function but does not invoke it.The abstraction binds the variable formula_3 in the term formula_25.An application formula_42 represents the application of a function formula_25 to an input formula_29, that is, it represents the act of calling function formula_25 on input formula_29 to produce formula_47.