פונקציה זו עומדת בתנאי התרגיל לעיל ולכן עוצמתה גדולה מעוצמת A אבל זהה לעוצמה של קבוצת החזקה, כפי שרצינו.
'''הגדרה:'''
יהיו שתי קבוצות A,B כך ש <math>|A|=a, |B|=b</math>. אזי נגדיר פעולות בין עוצמות:
*<math>a+b=|A\cup B|</math>
*<math>a\cdot b = |A\times B|</math>
*<math>a^b = |\{f:B\rightarrow A\}|</math>
בהרצאה תוכיחו שהגדרות אלה מוגדרות היטב, כלומר העוצמה נשארת זהה ללא תלות בבחירת הקבוצות המייצגות.