Definition:Transitive Closure of Relation/Also known as
Jump to navigation
Jump to search
Transitive Closure of Relation: 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 $\mathsf{Pr} \infty \mathsf{fWiki}$.
Sources
- 1979: Kenneth G. Lucey: The ancestral relation without classes (Notre Dame J. Formal Logic Vol. 20, no. 2: pp. 281 – 284)