به­ طور کلی، عناصر یک مجموعه مانند A می ­توانند با عناصر مجموعه دیگر در ارتباط باشند. اگر مجموعه ­ای را تشکیل دهیم که ارتباط بین عناصر مجموعه­ های A و B را مشخص کند به آن یک رابطه می گوئیم.

برای نمایش رابطه­ ای بین دو مجموعه می­ توان از جدول، نمودار، نمودار وِن، زوج مرتب یا نمایش جبری استفاده کرد.

یک تابع رابطه­ ی بین دو مجموعه است که در آن به هر عضو از مجموعه اول دقیقاً یک عضو از مجموعه دوم نظیر می­ شود. به بیان دیگر تابع همان رابطه است به شرطی که مؤلفه­ های اول آن یکی نباشد.

اگر مؤلفه­ های اول یکی باشند رابطه­ ما تابع نیست مگر آنکه مؤلفه­ های دوم هم یکی شوند.

دو زوج مرتب زمانی باهم برابرند که مؤلفه­ های اولشان با هم و مؤلفه­ های دومشان با هم برابر باشند.

اگر بخواهیم تابع را از روی نمودار بررسی کنیم کافیست یک خط عمودی موازی محور y ها رسم کنیم اگر در بیش از یک نقطه قطع کرد، تابع نیست.