Bijekció vagy párbaállító leképezés
f: A -> B függvény bijekció, ha
-
Ha különböző A_beli elemek képe különböző (f injektív),
-
minden B-beli elem kép (f szürjektív).
Ha A és B elemeit párokba akarjuk állítani (A elemeihez B-beli
párokat hozzárendelni), akkor a következőt várjuk el
-
Különböző elemekhez különböző pár tartozzon,
-
minden B-beli elem valamelyik A-beli elem párja legyen.
Így bijekciókra hivatkozhatunk mint párbaállító leképezésekre.