Schau mal in Wiki. Dass eine Funktion surjektiv ist <===> sie besitzt eine rechtsinverse, ist ÄQUIVALENT zu der Aussage des ===> Auswahlaxioms ( A )
Eine Funktion ist treu <===> sie besitzt eine linksinverse . Folgt eben Falls aus dem AA .
Wieder was gelernt; diese Aufgabe begegnete mir erstmals in einem ( fossilen ) Portal, dessen Name hier tabuisiert wird .