 Induction hypothesis

The assertion assumed for earlier cases during an induction proof. It is a conditional assumption inside the induction step, not an assumption that all cases already hold.