Solution

ID: past-exam-of-the-mathematics-course-of-the-university-of-cambridge/2019/ia/paper-4/7e/a/ii/solution

Assume is injective. The inclusion holds for every function. If belongs to the right-hand side, write with and . Injectivity gives , proving equality.
Conversely, suppose (iii) holds and . If , take and . Then is nonempty whereas , a contradiction. Hence is injective.

New to topics? Read the docs here!