Let be a surjection. Then there exists a function defined such that - essentially, you look at the sets of pre-images of elements in B and choose a specific element from each set (this is a function as is a surjection).

So, for example, if and with (truncate the decimal expansion) then set , but equally it could be or etc. Does that make sense?...

What can you say about this function ?