Let be a function. Prove that there exists a function such that if and only if is a surjection.
So we first construct (using axiom of choice) by picking a point in the preimage of for all ( ). If then is a surjection. If is a surjection, then . Then as required.
Is this correct?