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

Мат. inductive definition