the repeated application of a recursive procedure or definition
an equation relating the value of a function for a given value of its argument (or arguments) to its values for other values of the argument(s)