f(x)=f(y)⇒x=y