Partial Recursive Functions: Functions defined by recursion and allowing for undefined outputs; they capture the idea that some algorithmic processes may not halt for all inputs.