Prove that a nonempty set T1 is finite if and only if there is a bijection from T1 onto a finite set T2.
The Attempt at a Solution
There are at least two different solutions to this problem that I found online:
Is there any other solution? For a dummy like me these solutions are hard enough to understand them completely. If you can help me get the idea, I will really appreciate it.
Last edited by a moderator: