![Checkout](https://naologiccom.imgix.net/website-update/general/checkout.png?auto=compress&w=64&fm=png)
Start free trial
Take Naologic for a spin today, no credit card needed and no obligations.
Start free trial Question
Partial Order Reduction - What is a weak partial order?
Answer
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.