Category:Equivalence of Definitions of Transitive Closure (Relation Theory)