3.II.16G

Logic and Set Theory
Part II, 2008

What is a transitive set? Show that if xx is transitive then so are the union x\bigcup x and the power set PxP x of xx. If x\bigcup x is transitive, is xx transitive? If PxP x is transitive, is xx transitive? Justify your answers.

What is the transitive closure of a set? Show that any set xx has a transitive closure TC(x)T C(x).

Suppose that xx has rank α\alpha. What is the rank of PxP x ? What is the rank of TC(x)T C(x) ?

[You may use standard properties of rank.]