Combinatorica`
Combinatorica`
TransitiveQ
TransitiveQ[g]
yields True if graph 
defines a transitive relation.
Details and Options
- To use TransitiveQ, you first need to load the Combinatorica Package using Needs["Combinatorica`"].
TransitiveQ[g]
yields True if graph defines a transitive relation.