Definition:Induction Step

Terminology of Mathematical Induction
Consider a proof by mathematical induction:

The proof that the truth of $Q$ for $w_p$ implies the truth of $Q$ for $w_{p^+}$is called the induction step.

Expressed in the various contexts of mathematical induction:

Also see

 * Definition:Basis for the Induction
 * Definition:Induction Hypothesis