שינויים
/* תרגיל */
<math>\forall B\subseteq A : g(B)=f_B=\chi_B</math>
לפי תרגיל קודם <math>|A|<|P(A)|=|\{0,1\}^A|=|P(A)|</math>
'''הערה: (למי שלמד תורת הקבוצות)''' מסיבה זו אוסף העוצמות אינו קבוצה אלא מחלקה. שכן אם הוא היה קבוצה, הייתה לו עוצמה
