A function f: X to Y is injective if for all x, x' E X f(x) = f(x') implies x = x'

I attempted it and got:

There exists x, x' E X f(x) not equal to f(x') implies x not equal to x'

I'm confident I have got the quantifiers correct, but not the next part???