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.
