Equivalence of Definitions of Transitive Closure (Relation Theory)/Finite Chain Equivalent to Union of Compositions

Theorem
The finite chain and union of compositions definitions of transitive closure are equivalent.

Proof
Follows from the definition of composition of relations.