Eine bijektive Abbildung ist eine Abbildung von Elementen einer Menge A auf die Elemente einer Menge B und zwar so, dass jedes Element aus A auf genau ein Element aus B abgebildet wird und umgekehrt.
Wenn es eine bijektive Abbildung zwischen zwei Mengen gibt, sagt man auch, die beiden Mengen sind gleich mächtig. (Siehe: Mächtigkeit von Mengen)