מספר סודר – הבדלי גרסאות

תוכן שנמחק תוכן שנוסף
אין תקציר עריכה
מ ←‏הקשר בין סודרים לעוצמות: קישורים פנימיים
שורה 90:
 
נוכל להגדיר את המספרים המונים בתור הסודרים המונים.{{ש}}
באופן זה נזהה כל מונה כסודר המונה שעוצמתו היא המונה הנ"ל, למשל את <math>\aleph_0</math> ([[אלף אפס|אָלֶף אֶפֶס]]) נזהה עם <math>\omega</math>.
 
תחת הגדרה זו ישנה טריכוטומיה בין עוצמות של קבוצות; כלומר, עבור שתי קבוצות <math>A,B</math> מתקיים בדיוק אחד מהבאים: <math>|A|=|B|</math> או <math>|A|<|B|</math> או <math>|B|<|A|</math> (איננו יודעים עובדה זו ללא אקסיומת הבחירה).