تابع دودویی

در ریاضیات، تابع دودویی () به تابعی می‌گویند که دو ورودی می‌گیرد.
به عبارت دقیق‌تر، تابع  تابعی دودویی است اگر مجموعه‌های  وجود داشته باشند به‌طوری که

که در آن  حاصلضرب دکارتی  و  است.

مثال 
تقسیم عدد صحیح را می‌توان یک تابع در نظر گرفت؛ اگر Z مجموعهٔ اعداد صحیحی،  مجموعهٔ اعداد طبیعی (جز صفر), و Q مجموعهٔ اعداد گویا باشد، آنگاه تقسیم یک تابع دودویی Z و  به Q است

مثال دیگر حاصلضرب داخلی، یا به‌طور کلی توابعی به شکل  است که در آن‌ها x و y بردارهایی با مقادیر واقعی و اندازهٔ مناسب هستند و M ماتریس است. اگر M ماتریس مثبت معین باشد نتیجه ضرب داخلی خواهد بود.

منابع 

 

۲ (عدد)
انواع توابع