[[ملف:Surjection.svg|thumb|200px|دالة غير تباينية ولكنها [[دالة شمولية|شمولية]]]]
في الرياضيات، '''دالة تباينية''' {{إنج|Injective function}} هي دالة تي تبقى بها العناصر متباينة ([[متمايز|متفاوتة]]): فبها لا تقترن العناصر المتباينية من [[مجال دالة|مجالها]] بنفس العنصر من [[مجال مقابل|مجالها المقابل]].<ref>{{Note autre projet|Wikiversité|Application (mathématiques)/Exercices/Injection, surjection, bijection|les exercices corrigés du chapitre « Injection, surjection, bijection »|début=Voir par exemple}}</ref><ref>{{مرجع ويب| عنوان = Unicode| مسار = http://www.unicode.org/charts/PDF/U2190.pdf| تاريخ الوصول = 2013-05-11| مسار أرشيف = https://web.archive.org/web/20180523120141/http://www.unicode.org/charts/PDF/U2190.pdf | تاريخ أرشيف = 23 مايو 2018 }}</ref><ref>{{مرجع ويب|الأخير=Williams|الأول=Peter|عنوان=Proving Functions One-to-One|مسار=http://www.math.csusb.edu/notes/proofs/bpf/node4.html| مسار أرشيف = https://web.archive.org/web/20001011084053/http://www.math.csusb.edu/notes/proofs/bpf/node4.html | تاريخ أرشيف = 11 أكتوبر 2000 }}</ref> بمعنى أن كل عنصر من مجالها المقابل مقترن بعنصر من مجالها واحد على الأكثر.
== تعريف ==
لتكن ''f'' [[دالة]] [[مجال دالة|مجال تعريفها]] هو مجموعة ''A''. الدالة ''f'' هي '''تباينية''' إذا وفقط إذا توفر لكل عنصرين ''a'' و ''b'' من ''A'' ما يلي:
:إذا كان (''f''(''a'') = ''f''(''b''، فإن ''a'' = ''b''؛ أي أن (''f''(''a'') = ''f''(''b'' تعني ''a'' = ''b''.  ؛ وبشكل مكافئ، إذا كان ''a'' ≠ ''b''، فإن (''f''(''a'') ≠ ''f''(''b''.
