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.