generated at
structural induction
構造的帰納法
coinduction
Initial algebra
Loop invariant, analog for loops

googlestructural induction
image structural induction
define structural induction
wikipedia structural induction
weblio structural induction
kotobank structural induction
jisho structural induction