A form of Induction wherein functions are ran multiple times within eachother. There is a:

  • Recursive Step / Initial condition to state what is
  • Base case - to determine when the function terminates