Uncountability of surjections onto a nontrivial finite set

ID: uncountability-of-surjections-onto-a-nontrivial-finite-set

If is a countably infinite set and is a finite set with at least two elements, the set of surjective functions is uncountable. Fix finitely many values to cover , then encode an arbitrary infinite binary sequence using two values of on the remaining inputs.

New to topics? Read the docs here!