Recursion is a method of solving a problem where the solution depends on solutions to smaller instances of the same problem.

Functions that produce no side effects and have the same output given the same input are called "pure".