>>612
そこまでこまかく考えてなかったわ。/は斜め上矢印ね。

つまりある集合Ａから集合Ｂへ写像がある、という時に写像に
関わらないＡの元て想定できるのかと思って。Ｂの元なら単射
であり全射でないor単射でも全射でもない、だけど。