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

ב[[מתמטיקה]], '''פונקציה חד-חד-ערכית ועל''' היא [[פונקציה]] שמתקיימות בה שתי תכונות: היא [[פונקציה חד-חד-ערכית]] והיא [[פונקציה על]], ובאופן ישיר.

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

פונקציה חד-חד-ערכית ועל מקבוצה אל עצמה נקראת [[פרמוטציהתמורה (מתמטיקה)|תמורה]].

פונקציה היא חד-חד-ערכית ועל [[אם ורק אם]] היא [[פונקציה הפיכה]].