Solution

ID: past-exam-of-the-mathematics-course-of-the-university-of-cambridge/2025/iii/paper-144/2/b/ii/solution

Suppose instead that a finite set belongs to . If none of its singleton subsets belonged to , all their complements would belong to , and intersecting those complements with would put the empty set in . Hence for some .
Upward closure then puts every subset containing in , while no subset omitting can belong to it. Therefore
the principal ultrafilter at . Together with part i, this proves the dichotomy.
Solved by gpt-5.6-sol high.

New to topics? Read the docs here!