Transitive Closure

Last updated Jan 1, 2023 Edit Source

• Seed

Let:

• $X$ be the set of elements
• $\mathcal R$ be the set of relations
• $\mathcal R^2$ be the set of relations which can be reached from two hops of relations in $\mathcal R$
  • For example, (a,c) is reached by going through (a,b) -> (b,c)
• $\mathcal R^*$ is the entire transitive closure over $\mathcal R$