Equivalence of Definitions of Transitive Closure (Relation Theory)/Finite Chain Equivalent to Union of Compositions
Jump to navigation
Jump to search
Theorem
The finite chain and union of compositions definitions of transitive closure are equivalent.
Proof
This article, or a section of it, needs explaining. In particular: more detail required You can help $\mathsf{Pr} \infty \mathsf{fWiki}$ by explaining it. To discuss this page in more detail, feel free to use the talk page. When this work has been completed, you may remove this instance of {{Explain}} from the code. |
Follows from the definition of composition of relations.
$\blacksquare$