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

מתוך ויקיפדיה, האנציקלופדיה החופשית
קפיצה אל: ניווט, חיפוש

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

NotMap2.png

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