 An abstraction formula_31 is a definition of an anonymous function that is capable of taking a single input formula_3 and substituting it into the expression formula_25.It thus defines an anonymous function that takes formula_3 and returns formula_25.For example, formula_36 is an abstraction for the function formula_37 using the term formula_38 for formula_25.