Proof:Surjections have right inverses
To demonstrate the proof, we start with an example.
We want to construct an inverse for ; obviously such a function must map to a, but we have a choice of where to map . We can't map it to both and (because then would be ambiguous), but we can just pick one of them (say ).
Here is the general proof: