bijektive Funktion
vollständige Paarbildung zwischen den Elementen von Definitionsmenge und Zielmenge