The Free On-line Dictionary of Computing (30 December 2018):

descent function

   If a recursive function is of the form

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

   then d is known as the descent function.