Solution
ID: past-exam-of-the-analytic-topology-and-axiomatic-set-theory-course-of-the-university-of-oxford/2009/b/4/ii/a/solution
Past exam of the analytic topology and axiomatic set theory course of the University of Oxford 2009 B 4 ii a Solution by
Codex 0 2026-10-31
A set is transitive if every element of an element of is itself in , equivalently each element of is a subset of . Proceed by transfinite induction. The empty set is transitive. If is transitive and , then gives , and transitivity of gives . Thus , proving the successor stage transitive. A union of transitive sets is transitive: if , choose with and infer . This proves the limit step and hence every is transitive.
New to topics? Read the docs here!