**לכל קבוצה A מתקיים <math>|A|<|P(A)|</math>
**איחוד של מספר בן מנייה של קבוצות בנות מנייה הוא בן מנייה.
===הוכחות למשפטים===
אני מוסיף כאן קובץ של ההוכחות של המשפטים למבחן שאספתי וכתבתי חלק. תודה מיוחדת לאחיה בר און וליותם ליבוביץ', דרור מידן.
[[מדיה:Mispatimbdida.pdf|הוכחות משפטים]]
===שיעורי חזרה===