שינויים
/* תמונות חלקיות */
תהי <math>f:X\rightarrow Y</math> ותהי <math>A\subseteq X</math>. הוכח <math>A \subseteq f^{-1}(f(A))</math>. וקיים שיוויון אם <math>f</math> חח"ע
יהא <math>x\in f^{-1}(f(A))</math> לכן <math>f(x) \in f(A)</math> לכן <math>\exists a\in A : f(x)=f(a)</math>. כיוון ש <math>f</math> חח"ע נובע כי <math>x=a\in A</math>
דוגמא שלא מתקיים שיוויון <math>f:\{1,2\}\to \{1\}</math> (יש דרך אחת להגדיר את הפונקציה). אזי נגדיר <math>A=\{2\}</math> ומתקיים <math> f^{-1}(f(A))=\{1,2\}\neq A</math>
תהי <math>f:X\rightarrow Y</math> ותהי <math>A\subseteq Y</math>. הוכח <math> f(f^{-1}(A)) \subseteq A</math>. וקיים שיוויון אם <math>f</math> על
יהא <math> a\in A </math> כיוון ש f על <math>\exists x\in X : f(x)=a </math> לכן <math> x \in f^{-1}(A) </math>. ואז <math>a=f(x)\in f(f^{-1}(A)) </math>
דוגמא שלא מתקיים שיוויון <math>f:\{1\}\to \{1,2\}</math> המוגדרת <math>1\mapsto 1</math>. אזי נגדיר <math>B=\{1,2\}</math> ומתקיים <math> f(f^{-1}(B)) =\{1\}\neq B</math>.
יהיו <math>X,Y</math> שתי קבוצות, ותהי <math>f:X\rightarrow Y</math> פונקציה כלשהי. נגדיר את הפונקציה <math>g:P(Y)\rightarrow P(X)</math> על ידי <math>g(B)=f^{-1}(B)</math>.
