Prove that is a transitive set if and only if is a transitive set.
I think I was able to prove one direction.
Suppose is transitive. We need to show that . Let . Then . Since is transitive, we know . Hence, .
For the other direction. I need to show that . I have a hard time of effectively using the hypothesis that is a transitive set. Can someone give me a hand here? Thanks.