תורת הקבוצות/פונקציות: הבדלים בין גרסאות בדף

<math>f^{-1}: B\to A</math> היא פונקציה אשר מוגדרת בתור <math>f^{-1} = \left\{b, a) | f(a) = b \right\}</math>, כלומר אם <math>f(a) = b</math> אז <math>f^{-1}(b) = a</math>. בניסוח שקול, <math>f^{-1}</math> היא פונקציה אשר מקיימת <math>f\circ f^{-1} = \mbox{id}_{B}</math> ו-<math>f^{-1}\circ f = \mbox{id}_{A}</math>. הגדרה זו דומה למדי ליחס ההפוך אך לפונקציה לא בהכרח קיימת הופכית שהיא גם פונקציה. למעשה לפונקציה קיימת הופכית אם ורק אם הפונקציה חח״ע ועל: