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