Туындатқыш процедура дегеніміз – алдыңғы алынған элементтерден немесе обьектілерден жиын элементтерін алу әдісі болып табылады. Туындатқыш процедура іске қосылған кезде алынған объектілер жиынның элементі болып отырады. Мысалы, 2-ң дәрежесі болып табылатын барлық бүтін сандар жиынын , () рекурсивті немесе индуктивті деп аталатын 2 түрлі тәртіппен алынатын туындатқыш процедура арқылы өрнектеуге болады
, (
) рекурсивті немесе индуктивті деп аталатын 2 түрлі тәртіппен алынатын туындатқыш процедура арқылы өрнектеуге болады
; б) егер 
болса, онда 
.