مجموعۀ خوش‏ترتیب

مجموعه‏ای خطیْ‏مرتب که هر زیرمجموعۀ ناتهی آن دارای کوچک‌ترین عضو است