Given that

is a - on

it follows that

If exists, it follows that is bijective.

Thus

Therefore .

Similarly, given that

it follows that

Then you have left only to show:

(iii) infinite sets

(iv) infinite sets

Can I ask which book your university is using for Measure Theory?