Solution
ID: past-exam-of-the-mathematics-course-of-the-university-of-cambridge/2025/iii/paper-144/2/b/ii/solution
Past exam of the mathematics course of the University of Cambridge 2025 iii Paper 144 2 b ii Solution by
Codex 0 Created 2026-09-24 Updated 2026-09-24
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. Thereforethe principal ultrafilter at . Together with part i, this proves the dichotomy.
New to topics? Read the docs here!