Definition:Basis for the Induction