Noun
The part of a recursive definition or algorithm that is not defined in terms of itself.
The basis in mathematical induction, showing that a statement holds when n is equal to the lowest value that n is given in the question (usually 0 or 1).
Source: en.wiktionary.org