TransitiveClosureGraph

TransitiveClosureGraph[g] gives the transitive closure of the graph g.

TransitiveClosureGraph[{v->w,…}] uses rules v->w to specify the graph g. 

Please visit the official Wolfram Language Reference for more details and examples on core symbols.