تابع: یک تابع از مجموعهی A به مجموعهی B، رابطهای بین این دو مجموعه است که در آن به هر عضو از A دقیقاً یک عضو از B نسبت داده میشود.
تعریف تابع در حالتهای مختلف:
1. به فرم جدولی: اگر یک رابطه به صورت جدول بیان شده باشد، هنگامی این جدول بیانگر یک تابع است که مقادیر مولفههای اول جدول با هم برابر نباشند و یا اگر برابر بودند، مقادیر مولفههای دوم متناظر در جدول نیز با هم برابر باشند.
2. از لحاظ زوج مرتبی: یک تابع مجموعهای از زوجهای مرتب است که در آن هیچ دو زوج مرتبی دارای مولفههای اول یکسان نباشند و اگر دو زوج مرتب دارای مولفههای اول یکسان باشند، آنگاه مولفههای دوم آنها هم باید یکسان باشند.
مثال2: مجموعه {(7،4)،(2،5)،(1،1)} f= یک تابع است، زیرا هیچ دو زوج متمایزی دارای مولفههای اول یکسان نیستند.
3. از لحاظ نمودار پیکانی (ون): یک رابطه بین مجموعههای A و B که با نمودار پیکانی نمایش داده شده است، تنها در صورتی تابع است که از هر عضو A دقیقا یک پیکان خارج شود.
4. از روی نمودار مختصاتی: از نظر نموداری رابطهای تابع خواهد بود که اگر هر خط موازی با محور y ها رسم شود، نمودار را در بیش از یک نقطه قطع نکند.