مفهوم تابع را میتوان به زبان ریاضی بهصورت زیر بیان كرد.
رابطه تابع است اگر و تنها اگر:
تمرین
در روابط زیر، روی تعریف شده است، بررسی میکنیم آیا این روابط تابع هستند یا نه؟
رابطه تابع است.
رابطه فوق تابع نیست زیرا فقط به نرسیدیم بلكه عامل اضافهای به صورت هم ظاهر شده است.
این بدان معنی است كه بهازای هر دو تا ظاهر شده است.
و رابطه تابع است.