This is documentation for Mathematica 6, which was
based on an earlier version of the Wolfram Language.
View current documentation (Version 11.2)

TransitiveClosure

TransitiveClosure[g]
finds the transitive closure of graph g, the supergraph of g that contains edge {x,y} if and only if there is a path from x to y.