индуктивный класс

Мат. inductive class