Say for all and specific . I constructed a function from to which collapses all its elements into a single element. Now is surly not surjective (unless has a single element, so say has more than just . Why?) And let be the exact same function from to . So we have for all , and we also have for all by construction. But is not surjective. Meaning what you are trying to prove is completely wrong.