definition by induction

Определение по индукции