שינויים

<math>\forall B\subseteq A : g(B)=f_B=\chi_B</math>

'''הערה: (למי שלמד תורת הקבוצות)''' מסיבה זו אוסף העוצמות אינו קבוצה אלא מחלקה. שכן אם הוא היה קבוצה, הייתה לו עוצמה

**<math>0^0=1</math> זה מקרה פרטי של הסעיף הקודם, ועדיין מתקיים

**<math>a\neq 0 \rightarrow 0^a=0</math> אין אף פונקציה מקבוצה לא ריקה אל קבוצה ריקה, שכן יחס כזה לא יכול להיות שלם.

===תכונות האריתמטיקה===