Start free trial
Take Naologic for a spin today, no credit card needed and no obligations.
Start free trial

Partial Order Reduction - What is a weak partial order?


Weak partial orders are defined in Definition 7.5.1 as transitive, antisymmetric, and reflexive relations R on sets A. A strong partial order is a relation that is transitive, antisymmetric, and irreflexive.