הבדלים בין גרסאות בדף "מספר סודר"

נוספו 16 בתים ,  לפני 9 שנים
מ
←‏הגדרה: אין סיבה להשתמש בפ'י לקבוצה הריקה
מ (←‏הגדרה: אין סיבה להשתמש בפ'י לקבוצה הריקה)
בנוסף נגדיר את פעולת העוקב באופן הבא: <math>S(n)=n\cup \{n\}</math>. כלומר העוקב של איבר הוא האיחוד של האיבר והקבוצה שמכילה אותו.
כעת נוכל להגדיר את יתר הסודרים הסופיים. כל מספר סודר סופי (פרט ל-0) יוגדר כעוקב של קודמו:
* <math>0=\{\}=\phiempty</math>
* <math>1=S(0)=\{0\}=\{\phiempty\}</math>
* <math>2=S(1)=\{0,1\}=\{\phiempty,\{\phiempty\}\}</math>
* <math>3=S(2)=\{0,1,2\}=\{\phiempty,\{\phiempty\}, \{\phiempty,\{\phiempty\}\}\}</math>
* ...
* <math>n=S(n-1)=\{0,1,2,...,n-1\}</math>
8,972

עריכות