# Definition:Principle of General Induction/Minimally Closed Class/Induction Hypothesis

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