PartialOrderQ

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

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

DetailsDetails

New to Mathematica? Find your learning path »
Have a question? Ask support »