descent function If a recursive function is of the form f x = ... f (d x) ... then d is known as the descent function.
