Definition:Principle of General Induction/Induction Hypothesis

Terminology of Principle of General Induction
Consider a Proof by General Induction.

The assumption made that $\map P x$ is true for some $x \in M$ is called the induction hypothesis.