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