مجموعۀ استقرایی مرتب

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