مجموعۀ استقراییْ مرتب{inductively ordered set} [ریاضی] مجموعه ای مرتب که هر زیرمجموعۀ کلی مرتب آن دارای کران بالاست
