Recursive case

A recursive definition branch that reduces the current problem to smaller instances of the same problem.

Also known as recursive step, recursive branch

Used in