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

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

Then the transitive closure $\mathcal R^+$ of $\mathcal R$ always exists.

Also see

 * Construction of Transitive Closure