選択公理
全射は右逆写像を有する。