Content deleted Content added
→Strict partial orders: Made it more clear that only two conditions are required, that the third follows from the first two. Explained the reasoning for transitivity+irreflexivity -> asymmetry. |
|||
Line 17:
A non-strict partial order is also known as an antisymmetric [[preorder]].
=== Strict partial orders ===
| |||