Combinatorica`
Combinatorica`

TransitiveQ

TransitiveQ[g]

yields True if graph g defines a transitive relation.

Details

See Also

PartialOrderQ  TransitiveClosure  TransitiveReduction

Tutorials