Definition:Principle of Superinduction/Induction Hypothesis

Terminology of Principle of Superinduction
Consider a Proof by Superinduction.

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