>>370
復習で調べたら f:Φ→A はいつでも単射であると同時に全射と見なすそうだ。
だから、やはり、結局定義の問題に帰着する。