全単射だけど逆がない関数って選択公理を否定すれば構成できますか？
全射だけど右逆がない関数（>>6）は簡単に作れたんですが・・・。