構造的帰納法
structural induction
数学的帰納法
余帰納法（
coinduction
）
始代数
https://ja.wikipedia.org/wiki/構造的帰納法