Bijektive Funktion
vollständige Paarbildung zwischen den Elementen von zwei Mengen
Eine Funktion heißt bijektiv (engl.: one-to-one and onto), wenn sie injektiv und surjektiv ist. Das heißt, dass sie jedem Element der Definitionsmenge genau ein Element der Wertemenge zuordnet, wobei alle Elemente der Wertemenge durch diese Zuörnung auch erfasst werden; das bedeutet weiter, dass die Mächtigkeit der Wertemenge und der Zielmenge gleich groß sein muss.
Eine bijektive Funktion ist umkehrbar.
Eine bijektive Funktion ist eine linkstotale und rechtstotale und linkseindeutige und rechtseindeutige Relation.