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

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

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

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

מדיה וקבצים בנושא פונקציה חלקית בוויקישיתוף

• פונקציה חלקית, באתר MathWorld (באנגלית)