קבוצת החזקה – הבדלי גרסאות

*ניתן להוכיח כי [[עוצמה|עוצמת]] קבוצת החזקה של [[קבוצה סופית]] כלשהי <math>\ A</math> שווה ל- <math>\ 2^{|A|}</math> (שתיים ב[[חזקה (מתמטיקה)|חזקת]] עוצמת <math>\ A</math>), ובניסוח מתמטי: <math> \left|\mathcal{P}(A)\right|=2^{|A|}</math>. כאשר גודל הקבוצה הוא [[אינסוף|אינסופי]], מסמנים את עוצמת הקבוצה <math>\ A</math> גם בסימון <math>\ 2^{|A|}</math>.