Sei f eine totale Funktion von A nach B. Damit die Umkehrrelation zu f auch selbst wieder eine totale Funktion ist, muss f ja sowohl injektiv als auch surjektiv sein.
Könnte mir jemand je ein Beispiel nennen, warum Injektivität und Surjektivität alleine nicht ausreichend starke Einschränkungen sind?