Terminology 1: A recursive specification (or recursive definition if we are able to be precise enough) of some notion is given by the following:
(a) Rules specifying certain instances of the notion, called the base cases, without invoking other instances of the notion to do so.
(b) Recursion rules, each invoking hypothetical instances, called inputs, of the notion in order to specify a new instance of the notion, the output.