The Free On-line Dictionary of Computing (19 January 2023):

descent function

   If a recursive function is of the form

    f x = ... f (d x) ...

   then d is known as the descent function.