בתורת הקבוצות, קבוצת החזקה של קבוצה A היא קבוצת כל תת-הקבוצות של A.
תת-קבוצה היא קבוצה שכל איבריה שייכים ל‑A.
קבוצת החזקה מסומנת P(A). באופן פורמלי: P(A)=\{B \mid B\subseteq A\}.
למשל, P(\{x,y\})=\{∅,\{x\},\{y\},\{x,y\}\}. כאן ∅ היא הקבוצה הריקה, שהיא ללא איברים.
במסגרת התיאוריה האקסיומטית של הקבוצות, קיומה של קבוצת החזקה נובע מאקסיומת קבוצת החזקה.
אקסיומה היא כלל יסוד שמקבלים ללא הוכחה.
קבוצה היא אוסף של דברים.
קבוצת חזקה של קבוצה היא כל התת־קבוצות שלה.
תת־קבוצה היא קבוצה שכל הדברים בה גם נמצאים בקבוצה הגדולה.
דוגמה: אם הקבוצה היא {x,y}, התת־הקבוצות הן: הקבוצה הריקה (אין בה כלום), {x}, {y} ו־{x,y}.
תגובות גולשים