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

[[תמונה:Bijection.svg|שמאל|ממוזער|200px|דוגמה לפונקציה חד-חד-ערכית ועל]]

 

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