خوش‌ترتیب: تفاوت میان نسخه‌ها

 

هر مجموعه ناتهی خوش ترتیب یک کوچکترین عضو دارد.هر عضو s از یک مجموعه خوش ترتیب، به جز بزرگترین عضو، یک جانشین یکتا دارد، به عبارت دیگر کوچکترین عضو از زیر مجموعه همه عناصر که از s بزرگتر است. در مجموعه خوش ترتیب S، هر زیرمجموعه Tی دارای کران بالا، [[کوچکترین کران بالا]] دارد؛ به عبارت دیگر کوچکترین عنصر از مجموعه‌ی زیر مجموعه های کران بالای T در مجموعه S. اگر رابطه کوچکتر مساوی (≥) یک رابطه خوش ترتیبِ غیر مؤکد باشد، رابطه کوچکتری (>) یک رابطه خوش ترتیب مؤکد است.تفاوت روابط خوش ترتیب موکد و ناموکد در اغلب موارد نادیده گرفته میشود زیرا این دو به راحتی قابل تبدیل به یکدیگر هستند.