אקסיומת קבוצת החזקה
ויקיפדיה האנציקלופדיה encyclopedia
בתורת הקבוצות האקסיומטית, אקסיומת קבוצת החזקה (אנ') היא אקסיומה במערכת האקסיומות של צרמלו-פרנקל (ZF) שמבטיחה את קיום קבוצת החזקה של כל קבוצה.
באופן פורמלי:
כלומר, לכל קבוצה A, קיימת קבוצה P (קבוצת החזקה) כך שלכל קבוצה z מתקיים: z שייכת ל-P אם ורק אם כל איבר ב-z הוא גם איבר ב-A.