Solution

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

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!