Differences
This shows you the differences between two versions of the page.
| Both sides previous revision Previous revision | |||
|
total_order [2013/09/08 14:55] nikolaj created |
total_order [2013/09/08 14:57] nikolaj |
||
|---|---|---|---|
| Line 19: | Line 19: | ||
| ==== Parents ==== | ==== Parents ==== | ||
| === Subset of === | === Subset of === | ||
| - | [[Total relation]], [[Anti-symmetric relation]], [[Transitive relation]] | + | [[Total relation]], [[Non-strict partial order]] |
