There are multiple ways this has been done over many years.
You need the Schroder-Bernstein_theorem
If is a set, then is the set of all functions .
Then using the Characteristic function you can show that .
Working with functions, we can show that .
Now there is a huge amount of work to be done there. This is not an easy problem.