PartialOrderQ

As of Version 10, most of the functionality of the Combinatorica package is built into the Wolfram System. >>

PartialOrderQ[g]

yields True if the binary relation defined by edges of the graph g is a partial order, meaning it is transitive, reflexive and antisymmetric.

PartialOrderQ[r]

yields True if the binary relation defined by the square matrix r is a partial order.

Details

See Also

HasseDiagram  TransitiveQ

Tutorials