פונקציה חד-חד-ערכית ועל – הבדלי גרסאות

אין הצדקה לפירוק הפסקה
(אין הצדקה לפירוק הפסקה)
{{סימון מתמטי}}
ב[[מתמטיקה]], '''פונקציה חד-חד-ערכית ועל''' היא [[פונקציה]] <math>f:X\rarr Y</math>, מהקבוצה <math>X</math> לקבוצה <math>Y</math>, שעבורה לכל <math>b\in Y</math> '''קיים''' <math>a\in X</math> '''יחיד''' כך ש <math>f(a) = b</math>. בתנאי זה, קיומו של a מקודד את העובדה שהפונקציה היא [[פונקציה על]], והיחידות שלו (כלומר העובדה שלא קיימים <math>a,a'</math> שונים שעבורם <math>f(a) = f(a') = b</math>) מקודד את העובדה שהפונקציה [[פונקציה חד-חד-ערכית|חד-חד-ערכית]].
ב[[מתמטיקה]], '''פונקציה חד-חד-ערכית ועל''' היא [[פונקציה]] שמתקיימות בה שתי תכונות:
* היא [[פונקציה חד-חד-ערכית]].
* היא [[פונקציה על]].
 
==ניסוח פורמלי==
פונקציה <math>f:X\rarr Y</math>, מהקבוצה <math>X</math> לקבוצה <math>Y</math>, היא חד-חד-ערכית ועל, אם לכל <math>b\in Y</math> קיים <math>a\in X</math> יחיד כך ש <math>f(a) = b</math>.
{{-}}
 
==דוגמאות==