שינויים

הגודל של תת-הקבוצות בגודל k (סופי) הוא לפחות <math>\alpha_0aleph_0</math> מצד אחד, ומאידך הוא אינו עולה על <math>\aleph_0^k</math>, ומכיוון שלk סופי מקבלים שמספר תת הקבוצות בגודל k הוא <math>\alpha_0aleph_0</math>.כעת, קבוצת התת-קבוצות הסופיות היא איחוד זר של קבוצת תת הקבוצות מגודל אחד עם תת הקבוצות מגודל 2 וכו'. דהיינו, הגודל של קבוצת תת הקבוצות הסופיות הוא <math>\aleph_0 \cdot \aleph_0</math>, שזה בעצם (לפי מה שלמדנו) <math>\alpha_0aleph_0</math>.

יש התאמה חח"ע ועל בין הקבוצות הקוסופיות לקבוצות הסופיות ע"י שליחת קבוצה למשלימה, ולכן עוצמת תת הקבוצות הקו-סופיות גם היא <math>\alpha_0aleph_0</math>.[[משתמש:Adam Chapman|Adam Chapman]] 19:04, 4 בספטמבר 2010 (IDT)