פונקציה חלקית

במתמטיקה ומדעי המחשב, פונקציה חלקית (יחס חד-ערכי) מתחום $X$ לטווח $Y$ היא יחס בינארי בין $X$ ל-$Y$ , המקשר אבר בקבוצה $X$ עם לכל היותר אבר אחד בקבוצה $Y$ .

אם פונקציה חלקית מקשרת כל אבר בתחום עם אבר אחד בדיוק בטווח, אז היא נקראת פונקציה שלמה, או בפשטות "פונקציה" כמו שהיא מוגדרת באופן מסורתי במתמטיקה. יש לשים לב שלפי הגדרה, לא כל פונקציה חלקית היא פונקציה "אמיתית".

הדיאגרמה הנראית למעלה אינה מייצגת פונקציה "אמיתית" מכיוון שיש בה אבר ללא תמונה (1 ב-$X$), אך היא פונקציה חלקית.