Es seien M {\displaystyle {}M} und L {\displaystyle {}L} Mengen und es sei
eine Abbildung. Dann heißt F {\displaystyle {}F} bijektiv, wenn F {\displaystyle {}F} sowohl injektiv als auch surjektiv ist.