Attempt #2 (<=)
And yes, I'm restating the "given" information (the assumptions) for clarity.
(<=)
Assume f is one-to-one. Let b \in f(X) \cap f(Y).
Then, b \in f(X), b \in f(Y). Then, there exists c \in X, d \in Y such that f(c) = b = f(d). Since f is one-to-one, c = d. Then, c, d...