=== תרגיל ===
תהא <math>(A,\leq)</math> קבוצה סדורה קוויתלא סופית. נגיד שתת קבוצה <math>X </math> של <math>A </math> היא תת קבוצה יורדת אם מתקיים <math>\forall a\in A\forall x\in X \,(a<x ) \to (a\in X)</math>(כאשר הסימון <math>a<x</math> פירושו ש <math>a\leq x</math> וגם <math>a\neq x</math> נסמן ב <math>D</math> את קבוצת כל תתי הקבוצות היורדות של <math>A</math> האם <math>|A|=|D|</math> ? פתרון: אמרו לי שכן. למה? כי נגדיר פונקציה <math>f:A\to D</math> המוגדרת ע"י <math>f(x)=\{a\in A\mid a<x\}</math> והיא חח"ע ועל. #מצאו את הטעות בהוכחה. # האם ואיך אפשר לתקן את הפתרון המוצע?
===תרגיל ===
האם הכיוון ההפוך נכון? אם ידוע <math>|P(A)|=|P(B)|</math> האם ניתן להסיק כי <math>|A|=|B|</math>?
=== תרגיל חשוב! ===
תהא <math>X,Y</math> קבוצות. הוכיחו כי <math>P(Y)^{X}</math> שקולת עוצמה ל <math>P(X\times Y)</math>
תשובה: יש לקחת <math>F(f)=\{(x,y)|y \in f(x)\}</math>
=== תרגיל ===