תורת הקבוצות/קבוצת החזקה: הבדלים בין גרסאות בדף

{{הגדרה|

תוכן=בהינתן קבוצה <math>A</math> , קבוצת החזקה של <math>A</math> מסומנת על־ידי <math>\mathbb{P}(A)</math> או על־ידי <math>2^A</math> (סימון זה יובהר בהמשך ובמהלך הספר נשתמש בסימונים השונים לסרוגין), קבוצת כל הקבוצות החלקיות של הקבוצה <math>A</math> .

 

קל לראות שמתקיים <math>A\in\mathbb{P}(A)</math> וכן <math>\varnothing\in\mathbb{P}(A)</math> . וכן, באופן טריוויאלי אם מתקיים <math>\alpha\sub A</math> אזי מתקיים <math>\alpha\in\mathbb{P}(A)</math> .