שינויים
/* תרגיל ממבחן תשע מועד ב (ד"ר שי סרוסי וד"ר אפי כהן) */
דרך 2- נגדיר פונקציה <math>g:X\to P(A)^{\mathbb{N}}</math> ע"י <math>g((X_1,...,X_n))(i) = \begin{cases}X_i & \text{if } 1\leq i \leq n \\ \emptyset & \text{if } n<i \end{cases} </math>
קל לראות כי הפונקציה חח"ע ולכן <math> |X| =(\leq (2^{|A|a})^{\aleph_0} = \leq 2^{|A|a\cdot \aleph_0} =2^{|A|}a</math>
דרך 3- נציג את X כאיחוד זר <math>X=\cup_{1<n\in \mathbb {N}}Y_n</math> כאשר <math>Y_n</math> זה חלוקות סדורות של A עם n קבוצות. כעת לכל n קיימת פונקציה <math>g:Y_n \to P(A)^n</math>
