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:

Also see

 * Definition:Basis for the Induction
 * Definition:Induction Step