Definition:Second Principle of Mathematical Induction/Induction Hypothesis

Terminology of Second Principle of Mathematical Induction
Consider a Proof by Complete Induction.

The assumption that $\forall j: n_0 \le j \le k: \map P j$ is true for some $k \in \Z$ is the induction hypothesis.