Structural Induction

This post explores structural induction and recursion based on the theory of monotone maps on powersets.