קבוצת החזקהויקיפדיה האנציקלופדיה encyclopedia בתורת הקבוצות, קבוצת החזקה של קבוצה נתונה A {\displaystyle A} היא קבוצת כל תת הקבוצות של A {\displaystyle A} , ומסמנים אותה ב־ P ( A ) {\displaystyle {\mathcal {P}}(A)} . פורמלית P ( A ) = { B ∣ B ⊆ A } {\displaystyle {\mathcal {P}}(A)=\{B\mid B\subseteq A\}} , ולדוגמה: P ( { x , y } ) = { ∅ , { x } , { y } , { x , y } } {\displaystyle {\mathcal {P}}\left(\left\{x,y\right\}\right)=\left\{\emptyset ,\left\{x\right\},\left\{y\right\},\left\{x,y\right\}\right\}} . במסגרת תורת הקבוצות האקסיומטית, קיומה של קבוצת חזקה נובע ישירות מאקסיומת קבוצת החזקה.
בתורת הקבוצות, קבוצת החזקה של קבוצה נתונה A {\displaystyle A} היא קבוצת כל תת הקבוצות של A {\displaystyle A} , ומסמנים אותה ב־ P ( A ) {\displaystyle {\mathcal {P}}(A)} . פורמלית P ( A ) = { B ∣ B ⊆ A } {\displaystyle {\mathcal {P}}(A)=\{B\mid B\subseteq A\}} , ולדוגמה: P ( { x , y } ) = { ∅ , { x } , { y } , { x , y } } {\displaystyle {\mathcal {P}}\left(\left\{x,y\right\}\right)=\left\{\emptyset ,\left\{x\right\},\left\{y\right\},\left\{x,y\right\}\right\}} . במסגרת תורת הקבוצות האקסיומטית, קיומה של קבוצת חזקה נובע ישירות מאקסיומת קבוצת החזקה.