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

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

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

תמונה:NotMap2.png

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

שפות אחרות