This is a question I was asked on my oral exam for set-theory. I found it a particular interesting one:
Show that:
For any infinite set , there exists a bijection well-orderings-theorem of Zermelo.
It's in particular the implication that's interesting.
Hint 1.
Spoiler:
Addition hint 1.
Spoiler: