Empty set aside, if there's an injection $f:A\to B$ then there's a surjection $B\to A$ by taking elements of the image of $f$ to their antecedent, and other elements to some fixed element of $A$. (Of course, constructively you can't do this, but in ZF you can.)
↧
