3.II.16G
What is a transitive set? Show that if is transitive then so are the union and the power set of . If is transitive, is transitive? If is transitive, is transitive? Justify your answers.
What is the transitive closure of a set? Show that any set has a transitive closure .
Suppose that has rank . What is the rank of ? What is the rank of ?
[You may use standard properties of rank.]
Typos? Please submit corrections to this page on GitHub.