שינויים

יהיו <math>X=\mathbb{Z}, Y=\{0\}</math>. אזי קיימת פונקציה f יחידה מX לY. פונקציה זו אינה חח"ע כמובן, אך g כן חח"ע שכן <math>g(\{\})\neq g(\{0\})</math> ואלה הקבוצות היחידות בקבוצת החזקה של Y.

תהיינה A,B קבוצות לא ריקות. הוכיחו כי:

# אם קיימת <math>f:A\to B</math> חח"ע אזי קיימת <math>g:B\to A</math> על.