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

Theorem
Let $\RR$ be a relation on a set $S$.

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