Let $R,S \subseteq A \times A$ be transitive binary relations. If $R\circ S=S\circ R$ then $R\circ S$ is also transitive.
Suppose $R$ and $S$ are transitive relations on $A$. Prove that if $S \circ R \subseteq R \circ S$ then $R \circ S$ is transitive.