Bijektion
Die Bijektion ist der Sonderfall einer Funktion$f:A\to B$.
Eine Funktion ist immer dann bijektiv, wenn jedes$y\in B$ genau ein Urbild hat. Für jedes $y\in B$ existiert exakt ein $x\in B$ mit $f(x)=y$, so dass eine Bijektion eindeutig ist. Die Funktion hat daher eine Umkehrfunktion und ist invertierbar.
Die Bijektion ist zudem injektiv, weil die verschiedenen Elemente ihres Definitionsbereichs auf unterschiedliche Elemente der Zielmenge abgebildet werden können. Sie ist surjektiv, weil jedes Element der Zielmenge als Funktionswert auftritt.
Definitionsmenge, Bildmenge und Zielmenge einer Bijektion haben in endlichen Mengen immer dieselbe Anzahl von Elementen. Umgekehrt ist auch die Funktion zwischen endlichen Mengen bijektiv, wenn die Elementzahl übereinstimmt.
Für unendliche Mengen wird die Mächtigkeit als Verallgemeinerung der Elementanzahl mit Hilfe der Bijektion definiert.
Die Bijektion einer endlichen Menge auf sich selbst heißt auch Permutation.