Definition:Transitive Closure (Relation Theory)

Also known as
Some authors refer to the transitive closure of $\mathcal R$ as the ancestral of $\mathcal R$.

The symbolism varies: some authors use $\mathcal R^t$. The literature is inconsistent, so any notation needs explanation when used on.

Also see

 * Equivalence of Transitive Closure Definitions (Relation Theory)
 * Recursive Construction of Transitive Closure