ترتیب استقرایی

{inductive order} [ریاضی] ترتیبی در یک مجموعه که در آن هر زیرمجموعۀ ناتهی دست کم یک عضو کمین دارد

ترتیبی در یک مجموعه که در آن هر زیرمجموعۀ ناتهی دست‌کم یک عضو کمین دارد.

💡 تحلیل متغیرهای استقرایی: در هر حلقه اگر متغیری باشد که به صورت حاصل عملیات ریاضی

💡 اکثر تعاریف بازگشتی بر دو اساس استوارند: یک یا چند جملهٔ پایه و یک شرط استقرایی.