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: