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

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

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

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

This article is issued from Hamichlol. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.