שינויים
/* פונקציות */
'''הגדרה:''' תהי <math>f</math> פונקציה <math>f:A\rightarrow B</math> נקראת הפיכה אם קיימת לה הופכית - . פונקציה <math>f^{-1}g:B\rightarrow A</math> כך שמתקיים תיקרא '''הפונקציה ההופכית ל-f''' אם <math>f\circ f^{-1} g = id_B</math> וגם <math>g\circ f = id_A</math>. במקרה זה נסמן את <math>g</math> על ידי <math>f^{-1}\circ </math>, ונאמר שהפונקציה <math>f = id_A</math>היא '''הפיכה'''.
הערה: זכרו שפונקציה היא יחס. הפונקציה ההופכית שלה היא היחס ההופכי מטבע הדברים. על מנת שהיחס ההופכי יהיה פונקציה הוא צריך להיות ח"ע ושהתחום שלו יהיה כל B. תנאים אלה מתממשים רק אם f הינה חח"ע ועל.
