שינויים
/* אריתמטיקה של עוצמות */
==אריתמטיקה של עוצמות==
'''תרגיל.הגדרה''' יהיו A,B קבוצות כך ש, עוצמת אזי <math>A^B:=\{f:B גדולה מאחד. הוכח כי העוצמה של אוסף הפונקציות מA לB גדולה מעוצמת \rightarrow A\}</math>.
'''פתרוןתרגיל.'''יהיו A,B קבוצות כך ש <math>|B|>1</math>. הוכח כי <math>|A|<|B^A|</math>.
נניח בשלילה שקיימת התאמה חח"ע ועל בין A לבין אוסף הפונקציות הנ"ל. נסמן ב<math>f_a:A\rightarrow B</math> את הפונקציה המתאימה לאיבר <math>a\in A</math>.