Noun
(computing) Any function that uses recursion and can call itself until a certain condition is met.
(mathematics) Any function whose value may be obtained using a finite number of operations using a precisely specified algorithm.
Source: en.wiktionary.org