Preslikava $f:\cal{A} \rightarrow \cal{B}$ je bijektivna natanko tedaj, ko je injektivna in surjektivna hkrati. Vsak element iz množice $\cal{B}$ je slika natanko enega elementa iz množice $\cal{A}$.
Oglej si preslikave pod gumbki, razmišljaj o njihovih lastnostih: injektivnost, bijektivnost, surjektivnost.
| Preslikava |
1 | 2 | 3 | 4 |
| Injektivnost |
da
|
ne
|
ne
|
da
|
| Surjektivnost |
ne |
da
|
ne
|
da
|
Edina bijektivna preslikava je pod številko 4 .
Bijektivna preslikava med dvema množicama ustvari pare $\{a,f(a)\}$. Vsak element iz druge množice je v paru z natanko enim elementom iz prve množice in obratno. Če med dvema množicama obstaja bijektivna preslikava, potem sta množici enako močni.
injektivnost + surjektivnost = bijektivnost