ریاضی عمومی تابع مجموعه ای از زوجهای مرتب که در آن دو زوج مرتب متفاوت با مؤلفههای اول برابر وجود نداشته باشد به طور مثال (۳) (۲۵) ,(۱۲)} = f بیانگر تابع است اما (۱۱) ,(۴,۳) ,(۱,۵)} = بیانگر تابع نمیباشد.
از نظر هندسی هرگاه خطی موازی محور لاها رسم شود منحنی تابع را باید حداکثر در یک نقطه قطع کند.
در واقع برای هر x حداکثر یک مقدار برای y به دست آید.
:تعریف اگر تابع را به صورت قاعده
[f:A→B
(y = f(x)
نمایش دهیم آنگاه این رابطه یک تابع است هرگاه داشته باشیم
X = x + y =