What is structural induction?

A proof technique that proves some property $P$ for a term $t$ by relying on the property $P$ holding for $t$'s subterms.