>>481
写像の行き先は像ではなく
像の元だから、集合とは限らない

像ってのは、対応の行き先の集合だけど
その集合が写像の行き先というわけではない