Let and . Since they are finite sets, it’s quite obvious that they have the same number of elements.

I have read the proof that the infinite sets .

We know that , and I know there is a bijective function between the two sets, but how does one explain that and have the same number of elements?