The negation of being injective is .
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???