Transitive Closure Always Exists (Relation Theory)

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