Definition:Induction Step/Also presented as

Induction Step: Also presented as
Some sources present the induction step in the form:


 * $\map P {k - 1} \implies \map P k$