Okay, thank you! Also in regards to (a) - would it be looking somewhat like this?
So if we suppose that f is a surjection. We define a function g : Y → X as follows.
Let y ∈ Y , and since f is a surjection, there exists x ∈ X (not necessarily unique) such that f(x) = y.
Now we choose one such x...