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.

Also known as

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