or base, n. the initial instance from which a generalization is proved by mathematical induction; the statement that defines the first element of the infinite sequence generated by the induction. See recursive definition.