שינויים
/* בשביל להוכיח שתת קבוצה של קבוצה בת מנייה היא קבוצה בת מנייה */
: כן. --[[משתמש:Grisha|Grisha]] 22:16, 20 באוגוסט 2012 (IDT)
ניתן להוכיח כך? :
תהי A בת מנייה, B תת קבוצה של A, ולכן: |B|<=|A|, מהגדרת קבוצה בת מנייה: |A|<=א0, <= בין עוצמות הוא טרנזיטיבי ולכן: |B|<=א0, ולכן B בת מנייה.
== צורה מפורשת ==