Transitive Closure of a Relation

The transitive closure $R^{+}$ is the smallest transitive relation containing $R$: it adds $(x,y)$ whenever a directed path of length $\ge 1$ runs from $x$ to $y$.