שינויים
/* פונקציה מצומצמת */
למשל:
יהיו <math>X=\mathbb{Z}, Y=\{0\}</math>. אזי קיימת פונקציה f יחידה מX לY. פונקציה זו אינה חח"ע כמובן, אך g כן חח"ע שכן <math>g(\{\})\neq g(\{0\})</math> ואלה הקבוצות היחידות בקבוצת החזקה של Y.
==== תרגיל ====
תהא <math>f:A\to B</math> פונקציה בין קבוצות לא ריקות. הוכיחו כי
# אם f חח"ע אזי קיימת <math>g:B\to A</math> על.
# במידה ו A,B סופיות: f חח"ע אמ"מ <math>|A|\leq |B|</math>
# במידה ו A,B סופיות: f על אמ"מ <math>|B|\leq |A|</math>
===פונקציה מצומצמת===
