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

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