שינויים
/* תרגיל */
==== תרגיל ====
הוכיחו/הפריכו: תהי f פונקציה <math>f:X \to Y</math> ותהיינה <math>Z,W\subseteq X, A,B \subseteq Y</math>. אזי
# <math>f^{-1}[A]\cap f^{-1}[B]=f^{-1}[A\cap B]</math>
# <math>f^{-1}[A]\cup f^{-1}[B]=f^{-1}[A\cup B]</math>
# <math>f^{-1}[A\setminus B]=f^{-1}[A]\setminus f^{-1}[B]</math>
# <math>f^{-1}[A]\triangle f^{-1}[B]=f^{-1}[A\triangle B]</math>
# <math>f[Z]\triangle f[W]=f[Z\triangle W]</math>
פתרון: תחשבו. עדיף את שני האחרונים, כי הראשונים לפעמים נעשים בהרצאה.
====תרגיל====
יהיו <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> על.
