noun: The part of a recursive definition or algorithm that is not defined in terms of itself.
noun: 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).
