индуктивное построение

Мат. inductive generation