في الرياضيات، الدالة التقابلية (بالإنجليزية: Bijective Function) أو ببساطة، التقابل، هي دالة رياضية من مجموعةX إلى مجموعة Y حيث كل عنصر y من المجموعة المستقر Y ،هناك سابق واحد فقطx من المجموعة المنطلق X حيث يكون : f(x) = y أي أن y هي صورة x بالدالة f.[1][2][3]
دالة تباينية وشمولية في آن واحد. إذن، هي دالة تقابلية.
دالة غير تباينية ولكنها شمولية. إذن، هي ليست دالة تقابلية.
دالة غير تباينية وغير شمولية. إذن، هي ليست دالة تقابلية.
تعريف
تكون الدالة f تقابلا إذا كانت رابطا واحد لواحد بين عناصر المجموعتين المنطلق والمستقر أي أنها دالة تباينية (العناصر في المستقر لا ترتبط بعنصرين مختلفين في المنطلق) وفي نفس الوقت شمولية (لجميع عناصر المستقر مقابل ترتبط فيه من المنطلق).
^John Meakin (2007). "Groups and semigroups: connections and contrasts". Groups St Andrews 2005 Volume 2. Cambridge University Press. ص. 367. ISBN:978-0-521-69470-4. {{استشهاد بكتاب}}: الوسيط غير المعروف |المحررين= تم تجاهله (مساعدة)