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

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

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