Transitive Closure Always Exists (Relation Theory)

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

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

Also see

 * Recursive Construction of Transitive Closure