===תרגיל===
תהיינה <math>A,B</math> קבוצות סופיותלא ריקות. הוכיחו שקיימת פונקציה <math>f:A\rightarrow B</math> על אמ"ם <math>|A|\geq |B|</math>.
====פתרון====
אחרת, נסמן <math>|B|=k</math> ונסמן עוד <math>B=\{ b_1,...,b_k\} </math>. לכל <math>1\leq i\leq k</math> לאיבר <math>b_i\in B</math> יש מקור השונה משאר מקורות חבריו <math>f(a_i)=b_i</math>. לכן הקבוצה המתקבלת <math>\{ a_1,...,a_k\} \subseteq A</math> בעלת <math>k</math> איברים ולכן <math>|A|\geq |B|</math>
משמאל לימין: שוב, אם <math>B</math> ריקה
===תרגיל===