פונקציה מ asignates בדיוק תוצאה אחת לכל קלט מותר. אי-חיסוק פירושו שתוצאות שוות מחייבות קלטים שווים; שכיפה פירושה שכל אלמנט בקודמת המצוינת מושג. המפתח x↦x² מ- R ל-[0,∞) הוא שכיף אך לא אי-חיסוק. מ-[0,∞) ל-[0,∞) הוא גם כן, ולכן בנייה. מ-[0,∞) ל- R הוא נשאר אי-חיסוק אך מאבד שכיפות. שמור על התחום, התמונה והקודמת כנפרדים בבדיקת כל טענה.
פונקציה הפוכה הופכת בנייה. פתר y=f(x) עבור x, ואז השתמש בתחום המקורי כדי לבחור ענף. עבור f(x)=(x−2)²−5 עבור x≥2, ההפוך הוא 2+√(y+5) עבור y≥−5. הענף השלילי יחזיר קלטים מחוץ לתחום הנבחר. בדוק f⁻¹(f(x))=x עבור x מותר ו f(f⁻¹(y))=y עבור y מותר; הרכבה אחת שלא נבדקה עלולה להסתיר טעות תחום.
גרף ההפוך מחזיר את הגרף המקורי ביחס ל-y=x; הוא אינו לוקח הפוכים של ערכי התוצאה. פונקציה היפוך עצמי, או היפוך, מקיימת f(f(x))=x בכל מקום שההרכבה מוגדרת. גם −x על R וגם 1/x על R מלבד אפס הם היפוכים. היפוך מוזהב מוחד על interval חייב להיות זהות: אם f(x)>x, הוהדות נותנת f(f(x))>f(x)>x, והארגומנט האנלוגי שולל f(x)<x.
האיטרציה fⁿ מתייחסת להרכבה חוזרת, ולא לחזקה (f(x))ⁿ. חשבו את ההרכבות הראשוניות ובדקו את התחומים שלהם לפני חיפוש מחזוריות. עבור f(x)=1/(1−x) ב-R שמוחקים 0 ו-1, מתקיים f²(x)=(x−1)/x ו-f³(x)=x. התמונה נשארת באותו תחום מותר. לכן יש לצמצם את מספר האיטרציות לפי מודולו שלוש. נוסחה המוצגת השווה ל-x לאחר ביטול אינה משחזרת קלטות אסורות.