definicja indukcyjna

definicja indukcyjna, definicja rekurencyjna,

log. definicja zbioru, w którym dają się wyróżnić elementy wyjściowe oraz elementy otrzymane z wyjściowych;

d.i. składa się z 2 części: warunku wyjściowego (określającego obiekty, które na pewno należą do definiowanego zbioru) i warunku indukcyjnego (określającego stosunek, w jakim muszą pozostawać nowe obiekty do tych już należących do zbioru, aby też mogły być do tego zbioru zaliczone).