Can be false. Take and defineThen , so their function composition is the identity function and hence a bijection. However, is not surjective, since zero has no preimage, while is not injective, since .
The valid implications are only that must be injective and must be surjective: equality of two values implies equality after composition, and every output of the composition is an output of . On a finite , either of these properties implies a bijection, so an infinite set is essential to this counterexample.
Articles by others on the same topic
There are currently no matching articles.