Inverse of Transitive Relation is Transitive/Proof 2

Proof
Let $\mathcal R$ be transitive.

Thus by definition:
 * $\mathcal R \circ \mathcal R \subseteq \mathcal R$

Thus:

Hence the result by definition of transitive relation.