単射の対偶が偽って何や
写像ってのは
∀a,b∊dom(f) ( a=b→f(a)=f(b) )
を満たすもんだろう