Equivalence of Definitions of Transitive Closure (Relation Theory)/Intersection is Smallest

Theorem
Let $\mathcal R$ be a relation on a set $S$.

Then the intersection of all transitive relations on $S$ that contain $\mathcal R$ is the smallest transitive relation on $S$ that contains $\mathcal R$.