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

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