\begin{definition}[Definition:Recursive/Function]
A function is '''recursive''' {{iff}} it can be obtained from basic primitive recursive functions using the operations of:
: substitution
: primitive recursion, and 
: minimization on a function
a finite number of times.
Category:Definitions/Mathematical Logic
\end{definition}