Solution

ID: past-exam-of-the-analytic-topology-and-axiomatic-set-theory-course-of-the-university-of-oxford/2007/b/5/ii/a/solution

Use transfinite induction. The inclusion at zero is immediate. If , monotonicity of the power set gives
If 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!