This is documentation for Mathematica 8, 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 , the supergraph of that contains edge if and only if there is a path from to .