Behauptung: f muss bijektiv sein, damit die Umkehrabbildung existiert.
Falls du das begründen sollst: Mach z.B. 2 Fälle:
1. Fall: M und N sind endliche Mengen.
2. Fall: M und N sind unendliche Mengen.
und untersuche diese beiden Fälle .
Preisfrage ( Warum gibt es keine weiteren Fälle? ) solltest du auch noch ansehen.