تخصص الدالة ناتج واحد بالضبط لكل مدخل مسموح. الأحادية تعني أن تساوي النواتج يفرض تساوي المدخلات؛ الأحادية تعني أن كل عنصر من المدى المذكور مُتحقق منه. الخريطة 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 للمدخلات المسموحة وf(f⁻¹(y))=y للمخرجات المسموحة؛ يمكن لتكوين واحد غير مفقود إخفاء خطأ في المجال.
يعكس الرسم البياني العكسي الرسم البياني الأصلي عبر y=x؛ ولا يأخذ مقلوبات قيم النواتج. الدالة ذاتية العكس، أو ذاتية الانعكاس، تحقق f(f(x))=x حيثما تم تعريف التركيب. كل من −x على R و1/x على R باستثناء الصفر هما ذاتية انعكاس. أي ذاتية انعكاس متزايدة تمامًا على فترة يجب أن تكون الهوية: إذا كانت f(x)>x، فإن التزايد يعطي f(f(x))>f(x)>x، والحجة مماثلة تستبعد f(x)<x.
التكرار fⁿ يعني التركيب المتكرر، وليس القوة (f(x))ⁿ. احسب أول بعض التراكيب وتحقق من مجالاتها قبل البحث عن الدورية. بالنسبة لـ f(x)=1/(1−x) على ℝ باستثناء 0 و1، فإن f²(x)=(x−1)/x و f³(x)=x. تظل الصورة في نفس المجال المسموح به. لذلك قلل عدد التكرارات معيارياً حسب ثلاثة. الصيغة المعروضة التي تساوي x بعد الاختصار لا تعيد المدخلات المحظورة.