تابع

رابطه‏ای بین دو مجموعه که به هر عضو از مجموعۀ اول عضوی یکتا از مجموعۀ دوم نسبت می‏دهد