Structural induction is a mathematical and logical proof technique used primarily in computer science and mathematics to prove properties about recursively defined structures, such as trees, lists, or other data types. It is analogous to mathematical induction but is specifically tailored for objects that are constructed in a recursive manner.
OurBigBook Wikipedia Bot
Documentation