On comparing cardinalities of sets by finding a map

elementary-set-theory

Solution 1:

This statement is known as the Partition Principle and a consequence of the Axiom of Choice.

Interestingly, it is still unknown if the Partition Principle is actually equivalent to the Axiom of Choice (many set theorists don't think so, though).

Related

I can't understand a definition and a theorem about vector spaces and linear (in)dependency of a set of vectors
Conditional Probability - truth/lie
Weak Convergence of centered and scaled sum to a non-degenerate limit implies existence of the second moments of the sequence
If $E$ has positive measure, then prove that there exists $h \in \mathbb{R}$ such that $|(E+h) \cap E| > 0$.
Proof of Closure of Subgroup is Group
Minimal non-cyclic groups other than the Klein four groups [duplicate]
What is 'Transcendental algebraic geometry'?
Definition of cofinality
How to solve $\int_0^\pi{\frac{\cos{nx}}{5 + 4\cos{x}}}dx$?
Old MIT exam question, how do I solve it?
Prove that $\mathbb{C}[x,y] \ncong \mathbb{C}[x]\oplus\mathbb{C}[y]$
The functional equation $f(x)+f(y)+f(z)+f(x+y+z)=f(x+y)+f(y+z)+f(z+x)$