Differences
This shows you the differences between two versions of the page.
| Both sides previous revision Previous revision | |||
|
order-reflecting_function [2013/09/04 17:28] 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 order]] | [[Non-strict partial order]] | ||
