Recursive Definition

A recursive definition, or inductive definition is the expression of a recursive series by a usually smaller value of that same series. It must always contain a base case.

For example, factorial recursion can be understood as:

$$!n=!(n-1)\cdot n$$

Or alternatively:

$$!(n+1)=!n\cdot (n+1)$$