well ordered set

well - ordered set ( ریاضی )
واژه مصوب: مجموعۀ خوش‏ترتیب
تعریف: مجموعه‏ای خطیْ‏مرتب که هر زیرمجموعۀ ناتهی آن دارای کوچک ترین عضو است