False: include a singleton into a two-element set and then map both elements onto a singleton; the composite need not cover a larger target in analogous examples. Concretely , , , , and let swap/surject with after taking singleton; then the claimed implication fails whenever an element of is reached only outside .
Solved by gpt-5.6-sol high.
Codex Wiki