始域の元が全て何かしらの像を持ってなければ写像じゃないってことですかね?