Definition:Transitive Closure (Relation Theory)

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

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

Also see

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