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

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