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.

Also known as

The induction hypothesis can also be referred to as the inductive hypothesis.