{inductive step} [ریاضی] بخشی از تعریف بازگشتی یا تعریف استقرایی که مبین تولید هر جملۀ دنباله از جمله یا جمله های قبلی است
