 |
 | يفتقر محتوى هذه المقالة إلى الاستشهاد بمصادر. فضلاً، ساهم في تطوير هذه المقالة من خلال إضافة مصادر موثوق بها. أي معلومات غير موثقة يمكن التشكيك بها وإزالتها. (فبراير 2016)  |
 | هذه المقالة تحتاج للمزيد من الوصلات للمقالات الأخرى للمساعدة في ترابط مقالات الموسوعة. فضلًا ساعد في تحسين هذه المقالة بإضافة وصلات إلى المقالات المتعلقة بها الموجودة في النص الحالي. (نوفمبر 2015) |
 | هذه المقالة يتيمة إذ تصل إليها مقالات أخرى قليلة جدًا. فضلًا، ساعد بإضافة وصلة إليها في مقالات متعلقة بها. (أكتوبر 2015) |
التابع الثنائي هو تابع ذو مدخلين اثنين أي أنه يرتبط بمتغيرين مستقلين x و y ليعطينا ناتج ليكن z .
بلغة المجموعات إذا كانت X،Y،Z مجموعات مختلفة وقمنا بتعريف تابع من الجداء الديكارتي X في Y إلى Z : أي ان كل ثنائية مرتبة (x،y) ترتبط بعدد وحيد z حيث x عنصر من المجموعة X و y عنصر من المجموعة Y و z عنصر من المجموعة Z .
