I have this problem that is really driving me crazy:
Suppose R and S are transitive relations on A. Prove that if SēR c RēS, then RēS is transitive.
I tried to use the theorem that says: R is transitive iff RēR c R, but I couldn't get to the end.
(c means subset)