Definition:Induction Hypothesis

Terminology of Mathematical Induction
Consider a proof by mathematical induction:

The assumption that $Q$ is true for $w_p$ is called the induction hypothesis.

Expressed in the various contexts of mathematical induction: