Title: Elementary induction on abstract structures
Subjects: Induction (Mathematics), Recursive functions, Induction (Mathématiques), Fonctions récursives