Differences
This shows you the differences between two versions of the page.
Both sides previous revision Previous revision Next revision | Previous revision | ||
order-reflecting_function [2013/09/04 17:20] nikolaj |
order-reflecting_function [2013/09/04 17:28] nikolaj |
||
---|---|---|---|
Line 17: | Line 17: | ||
=== Refinement of === | === Refinement of === | ||
[[Function]] | [[Function]] | ||
- | === Parents === | + | === Requirements === |
- | [[Non-strict partial ordering]] | + | [[Non-strict partial order]] |