induktivní definice

induktivní definice, rekursívní definice - definice dobře uspořádané množiny, v níž jsou rozlišitelné výchozí prvky a prvky získané. I. d. z výchozích prvků musí generovat (vymezit) danými operacemi všechny předměty této množiny a pouze tyto předměty.