Induction

7.3 Induction and Recursion

Using base cases and step rules to prove statements about objects built recursively.

Defining objects step by step and proving properties by following the same construction.