تابع جزئی

یک تابع جزئی از X به Y (که به صورت  یا  نوشته می‌شود)، تابع  برای یک زیرمجموعه سره  از  است. اگر زیرمجموعهٔ  سره نباشد (یعنی اگر ) تابع f یک تابع کامل است. از توابع جزئی معمولاً زمانی استفاده می‌شود که دامنه یک تابع مشخص نیست (مثلاً بسیاری از توابع در نظریه رایانش‌پذیری این‌گونه هستند).

به‌طور خاص، گفته می‌شود برای هر  یا:
  (تابع به عنوان یک عضو مفرد از Y تعریف شده‌است) و یا
  تعریف نشده‌است.

برای مثال، تابع ریشه دوم تنها محدود به اعداد صحیح است:

بنابراین تابع  تنها برای nهایی تعریف می‌شود که مربع کامل باشند (). یعنی ، ولی  تعریف نشده‌است.

جستارهای وابسته 
 تابع دوسویی
 تابع یک‌به‌یک
 تابع پوشا

منابع 

 

توابع و نگاشت‌ها
روابط ریاضی