A recursive definition consists of:
Input and output
Start point and end point
Base case and recursive step
Loop and condition