'''הגדרה:'''
יהיו שתי קבוצות 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>
בהרצאה תוכיחו שהגדרות אלה מוגדרות היטב, כלומר העוצמה נשארת זהה ללא תלות בבחירת הקבוצות המייצגות.