nekomata_saren@tg says to YSITD
If x=y, then x and y denote the same element of f 's domain, whose image is determined. If f:R→R , f(t)=2t, x=1 and y=1, then surely f(x)=f(y), since f(1)=2, no matter what is your label for 1.