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

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