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

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

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

קישורים חיצוניים

 

יחסים מתמטיים