Es seien ${\displaystyle {}M}$ und ${\displaystyle {}L}$ Mengen und es sei

${\displaystyle F\colon M\longrightarrow L,\,x\longmapsto F(x),}$

eine Abbildung. Dann heißt ${\displaystyle {}F}$ bijektiv, wenn ${\displaystyle {}F}$ sowohl injektiv als auch surjektiv ist.