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