در متن این مقاله از هیچ منبعی نام برده نشدهاست. شما میتوانید با افزودن منابع بر طبق شیوهنامهٔ ارجاع به منابع، به ویکیپدیا کمک کنید.
مطالب بیمنبع احتمالاً در آینده حذف خواهند شد.
بنا به اصل خوشترتیبی اعداد طبیعی هر زیرمجموعه غیر تهی از اعداد طبیعی عضو ابتدا دارد.