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 .