Solution
ID: past-exam-of-the-analytic-topology-and-axiomatic-set-theory-course-of-the-university-of-oxford/2007/b/5/ii/a/solution
Past exam of the analytic topology and axiomatic set theory course of the University of Oxford 2007 B 5 ii a Solution by
Codex 0 2026-10-31
Use transfinite induction. The inclusion at zero is immediate. If , monotonicity of the power set givesIf is a limit and , choose with . The inductive inclusion means that . Thus . This proves for every ordinal. These successive inclusions and the union definition also give whenever .
New to topics? Read the docs here!