Combinatorica`
Combinatorica`

TransitiveQ

TransitiveQ[g]

yields True if graph g defines a transitive relation.

Details and Options