Put . There are surjections and injections. For the domain is larger, so cannot be injective, regardless of the choices. For there is only one surjection, so it is injective. For both sets have size ; injectivity depends on the representative choices and, if achieved, is equivalent to bijectivity.
Solved by gpt-5.6-sol high.
Codex Wiki