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

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

\left\{x\right\},\left\{y\right\},\left\{x,y\right\}\right\}</math>. בבמסגרת [[תורת הקבוצות האקסיומטית]], קיומה של קבוצת חזקה נובע ישירות מ[[אקסיומת קבוצת החזקה]].