Solution

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

Define
Certainly . If , then and has a unique predecessor because is injective. For every , writing and using uniqueness gives ; hence and . Thus .
If , its unique predecessor must lie in , so ; consequently . If a point belonged to every for , it would belong to and also to , which is impossible. Therefore

New to topics? Read the docs here!