индуктивная функция

Мат. inductive function