اصل خوش ترتیبی
اصل خوشترتیبی بیان می کند هر زیر مجموعه
ناتهی از مجموعه اعداد
طبیعی دارای عضو ابتدا یا کوچکترین عضو است.
به عبارت دیگر:
یا به عبارت دیگر وجود دارد
به گونه ای که:
با استفاده از اصل خوشترتیبی نتایج زیر حاصل می شود که می توان آنها را تعمیمی بر این اصل دانست:
1- هر زیر مجموعه ناتهی و از پایین کراندار از مجموعه اعداد صحیح دارای عضو مینیمم(کوچکترین عضو یا عضو ابتدا)
است.
2- هر زیر مجموعه ناتهی از بالا کراندار از مجموعه اعداد صحیح دارای عضو ماکزیمم است.
پیوست مربوطه: