Bijektiv

En afbildning $\phi :A\to B$, som både er injektiv og surjektiv, kaldes bijektiv, og man siger at φ er en bijektion.

Bijektioner spiller en væsentlig rolle inde for alle grene af matematikken. Specielt er bijektionerne præcis de invertible afbildninger. Altså findes til en bijektion $\phi :A\to B$ en entydigt bestemt afbildning $\phi ^{-1}:B\to A$ sådan at $\phi \circ \phi ^{-1}=\phi ^{-1}\circ \phi$. Omvendt gælder, at hvis en afbildning φ har en invers, da er φ bijektiv.